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

Source URL: www.ece.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Combinatory logic
• Design by contract
• Enumerated type
• Eiffel
• Objective-C
• Contract
• Scope
• Exception handling

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

Source URL: homes.sice.indiana.edu

• Type theory
• Software engineering
• Programming language theory
• Computing
• Scheme
• System F
• Type system
• HindleyMilner type system
• Racket
• Boolean data type
• Macro
• Typing environment

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

Source URL: cs.brown.edu

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

Source URL: www.ccs.neu.edu

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

Source URL: leifandersen.net

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

Source URL: users.eecs.northwestern.edu

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

Source URL: users.eecs.northwestern.edu

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

Source URL: www.cs.utah.edu

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

Source URL: users.eecs.northwestern.edu

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

Source URL: users.eecs.northwestern.edu