 | 2012 |
|---|
| 12 |       | Christos Dimoulas,
Sam Tobin-Hochstadt,
Matthias Felleisen:
Complete Monitors for Behavioral Contracts.
ESOP 2012: 214-233 |
| 11 | | Vincent St-Amour,
Sam Tobin-Hochstadt,
Matthew Flatt,
Matthias Felleisen:
Typing the Numeric Tower.
PADL 2012: 289-303 |
| 10 | | Casey Klein,
John Clements,
Christos Dimoulas,
Carl Eastlund,
Matthias Felleisen,
Matthew Flatt,
Jay A. McCarthy,
Jon Rafkind,
Sam Tobin-Hochstadt,
Robert Bruce Findler:
Run your research: on the effectiveness of lightweight mechanization.
POPL 2012: 285-296 |
| 2011 |
|---|
| 9 | | Sam Tobin-Hochstadt,
Vincent St-Amour,
Ryan Culpepper,
Matthew Flatt,
Matthias Felleisen:
Languages as libraries.
PLDI 2011: 132-141 |
| 8 | | Sam Tobin-Hochstadt,
David Van Horn:
Modular Analysis via Specifications as Values
CoRR abs/1103.1362: (2011) |
| 7 | | Sam Tobin-Hochstadt,
David Van Horn:
Semantic Solutions to Program Analysis Problems
CoRR abs/1105.0106: (2011) |
| 6 | | Sam Tobin-Hochstadt,
Matthias Felleisen:
The Design and Implementation of Typed Scheme: From Scripts to Programs
CoRR abs/1106.2575: (2011) |
| 5 | | Sam Tobin-Hochstadt:
Extensible Pattern Matching in an Extensible Language
CoRR abs/1106.2578: (2011) |
| 2010 |
|---|
| 4 | | Sam Tobin-Hochstadt,
Matthias Felleisen:
Logical types for untyped languages.
ICFP 2010: 117-128 |
| 2009 |
|---|
| 3 | | T. Stephen Strickland,
Sam Tobin-Hochstadt,
Matthias Felleisen:
Practical Variable-Arity Polymorphism.
ESOP 2009: 32-46 |
| 2008 |
|---|
| 2 | | Sam Tobin-Hochstadt,
Matthias Felleisen:
The design and implementation of typed scheme.
POPL 2008: 395-406 |
| 2006 |
|---|
| 1 | | Sam Tobin-Hochstadt,
Matthias Felleisen:
Interlanguage migration: from scripts to programs.
OOPSLA Companion 2006: 964-974 |
Data released under the ODC-BY 1.0 license — See also our legal information page