dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sam Tobin-Hochstadt (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Complete Monitors for Behavioral Contracts. ESOP 2012: 214-233
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen: Typing the Numeric Tower. PADL 2012: 289-303
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCasey 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen: Languages as libraries. PLDI 2011: 132-141
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Tobin-Hochstadt, Matthias Felleisen: The Design and Implementation of Typed Scheme: From Scripts to Programs CoRR abs/1106.2575: (2011)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Tobin-Hochstadt, Matthias Felleisen: Logical types for untyped languages. ICFP 2010: 117-128
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen: Practical Variable-Arity Polymorphism. ESOP 2009: 32-46
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Tobin-Hochstadt, Matthias Felleisen: The design and implementation of typed scheme. POPL 2008: 395-406
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Tobin-Hochstadt, Matthias Felleisen: Interlanguage migration: from scripts to programs. OOPSLA Companion 2006: 964-974

Selection of 9 from 12 records - Sam Tobin-Hochstadt has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page