Sam Tobin-Hochstadt Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt: Constraining Delimited Control with Contracts. ESOP 2013: 229-248
2012
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Complete Monitors for Behavioral Contracts. ESOP 2012: 214-233
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen: Optimization coaching: optimizers learn to communicate with programmers. OOPSLA 2012: 163-178
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, David Van Horn: Higher-order symbolic execution via contracts. OOPSLA 2012: 537-554
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Gradual typing for first-class classes. OOPSLA 2012: 793-810
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt: Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA 2012: 943-962
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen: Typing the Numeric Tower. PADL 2012: 289-303
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen: Languages as libraries. PLDI 2011: 132-141
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, David Van Horn: Modular Analysis via Specifications as Values. CoRR abs/1103.1362 (2011)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, David Van Horn: Semantic Solutions to Program Analysis Problems. CoRR abs/1105.0106 (2011)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, Matthias Felleisen: The Design and Implementation of Typed Scheme: From Scripts to Programs. CoRR abs/1106.2575 (2011)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt: Extensible Pattern Matching in an Extensible Language. CoRR abs/1106.2578 (2011)
2010
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, Matthias Felleisen: Logical types for untyped languages. ICFP 2010: 117-128
2009
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen: Practical Variable-Arity Polymorphism. ESOP 2009: 32-46
2008
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, Matthias Felleisen: The design and implementation of typed scheme. POPL 2008: 395-406
2006
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sam Tobin-Hochstadt, Matthias Felleisen: Interlanguage migration: from scripts to programs. OOPSLA Companion 2006: 964-974

Coauthor Index

1John Clements
[c6]
2Ryan Culpepper
[c5]
3Christos Dimoulas
[c12] [c9] [c6]
4Carl Eastlund
[c6]
5Matthias Felleisen
[c12] [c11] [c9] [c7] [c6] [c5] [i2] [c4] [c3] [c2] [c1]
6Robert Bruce Findler (Robby Bruce Findler)
[c8] [c6]
7Matthew Flatt
[c8] [c7] [c6] [c5]
8David Van Horn
[c10] [i4] [i3]
9Casey Klein
[c6]
10Jay A. McCarthy
[c6]
11Jon Rafkind
[c6]
12Vincent St-Amour
[c11] [c7] [c5]
13T. Stephen Strickland
[c13] [c9] [c8] [c3]
14Asumu Takikawa
[c13] [c9]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 06:13:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page