Matthias Felleisen

Results: 83



#Item
1Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Add to Reading List

Source URL: www.ece.northwestern.edu

Language: English - Date: 2016-08-09 10:09:16
2Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Add to Reading List

Source URL: homes.sice.indiana.edu

Language: English - Date: 2013-08-15 14:47:07
3Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen Harvard Graduate School of Education, WPI Computer Scien

Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen Harvard Graduate School of Education, WPI Computer Scien

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2014-11-26 20:30:53
    4Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen

    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
      5Feature-Specific Profiling Vincent St-Amour, Leif Andersen, and Matthias Felleisen PLT @ Northeastern University {stamourv,leif,matthias}@ccs.neu.edu  Abstract. High-level languages come with significant readability and

      Feature-Specific Profiling Vincent St-Amour, Leif Andersen, and Matthias Felleisen PLT @ Northeastern University {stamourv,leif,matthias}@ccs.neu.edu Abstract. High-level languages come with significant readability and

      Add to Reading List

      Source URL: leifandersen.net

      - Date: 2017-06-12 14:09:24
        6Optimization Coaching Vincent St-Amour Sam Tobin-Hochstadt Matthias Felleisen PLT OOPSLAOctober 23th, 2012

        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
          7Feature-Specific Profiling Vincent St-Amour Leif Andersen Matthias Felleisen PLT @ Northeastern University CC 2015 — April 18th, 2015

          Feature-Specific Profiling Vincent St-Amour Leif Andersen Matthias Felleisen PLT @ Northeastern University CC 2015 — April 18th, 2015

          Add to Reading List

          Source URL: users.eecs.northwestern.edu

          - Date: 2018-03-30 15:48:58
            8Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

            Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

            Add to Reading List

            Source URL: www.cs.utah.edu

            - Date: 2004-04-03 19:39:33
              9Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA

              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
                10Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen Northeastern University, University of Utah {stamourv,samth,matthias}@ccs.neu.edu,   Abstra

                Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen Northeastern University, University of Utah {stamourv,samth,matthias}@ccs.neu.edu, Abstra

                Add to Reading List

                Source URL: users.eecs.northwestern.edu

                - Date: 2018-03-30 15:48:58