Tobin

Results: 1395



#Item
21

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Add to Reading List

Source URL: drops.dagstuhl.de

- Date: 2017-05-03 03:13:43
    22

    Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen

    Add to Reading List

    Source URL: www.ccs.neu.edu

    - Date: 2012-11-26 16:43:36
      23

      Compiling Tree Transforms to Operate on Packed Representations Michael Vollmer1 , Sarah Spall2 , Buddhika Chamith3 , Laith Sakka4 , Chaitanya Koparkar5 , Milind Kulkarni6 , Sam Tobin-Hochstadt7 , and Ryan R. Newton8 1

      Add to Reading List

      Source URL: recurial.com

      - Date: 2017-06-11 19:53:31
        24

        Optimization Coaching Vincent St-Amour Sam Tobin-Hochstadt Matthias Felleisen PLT OOPSLAOctober 23th, 2012

        Add to Reading List

        Source URL: users.eecs.northwestern.edu

        - Date: 2018-03-30 15:49:00
          25

          Semantic Solutions to Program Analysis Problems Sam Tobin-Hochstadt David Van Horn PRL, Northeastern University

          Add to Reading List

          Source URL: engineering.purdue.edu

          - Date: 2011-05-30 18:45:18
            26

            Chaperones and Impersonators: Run-time Support for Reasonable Interposition T. Stephen Strickland Sam Tobin-Hochstadt Northeastern University {sstrickl,samth}@ccs.neu.edu

            Add to Reading List

            Source URL: www.cs.utah.edu

            - Date: 2012-08-05 15:04:51
              27

              Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA

              Add to Reading List

              Source URL: users.eecs.northwestern.edu

              - Date: 2018-03-30 15:49:00
                28

                Towards Practical Gradual Typing˚ Asumu Takikawa1 , Daniel Feltey1 , Earl Dean2 , Matthew Flatt3 , Robert Bruce Findler4 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1

                Add to Reading List

                Source URL: drops.dagstuhl.de

                - Date: 2015-06-26 03:10:18
                  29

                  Pycket A Tracing JIT For a Functional Language Spenser Bauman1 Carl Friedrich Bolz2 Robert Hirschfeld3 Vasily Kirilichev3 Tobias Pape3 Jeremy G. Siek1 Sam Tobin-Hochstadt1 1 Indiana

                  Add to Reading List

                  Source URL: proglang.informatik.uni-freiburg.de

                  - Date: 2017-10-04 11:31:53
                    30

                    Typed Clojure Inferring Structural Types from Tests Ambrose Bonnaire-Sergeant Sam Tobin-Hochstadt

                    Add to Reading List

                    Source URL: ambrosebs.com

                    - Date: 2018-02-28 17:02:40
                      UPDATE