Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sam Tobin-Hochstadt" ( http://dblp.L3S.de/Authors/Sam_Tobin-Hochstadt )

  Author page on DBLP  Author page in RDF  Community of Sam Tobin-Hochstadt in ASPL-2

Publication years (Num. hits)
2006-2012 (12)
Publication types (Num. hits)
article(4) inproceedings(8)
Venues (Conferences, Journals, ...)
CoRR(4) ESOP(2) POPL(2) ICFP(1) OOPSLA Companion(1) PADL(1) PLDI(1)
Authors
Sam Tobin-Hochstadt(12) Matthias Felleisen(9) Matthew Flatt(3) Christos Dimoulas(2) David Van Horn(2) Vincent St-Amour(2) Carl Eastlund(1) Casey Klein(1) Jay A. McCarthy(1) John Clements(1) Jon Rafkind(1) Robert Bruce Findler(1) Ryan Culpepper(1) T. Stephen Strickland(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen Typing the Numeric Tower. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Casey 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. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen Complete Monitors for Behavioral Contracts. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sam Tobin-Hochstadt, Matthias Felleisen The Design and Implementation of Typed Scheme: From Scripts to Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sam Tobin-Hochstadt, David Van Horn Semantic Solutions to Program Analysis Problems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sam Tobin-Hochstadt Extensible Pattern Matching in an Extensible Language Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sam Tobin-Hochstadt, David Van Horn Modular Analysis via Specifications as Values Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen Languages as libraries. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sam Tobin-Hochstadt, Matthias Felleisen Logical types for untyped languages. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen Practical Variable-Arity Polymorphism. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sam Tobin-Hochstadt, Matthias Felleisen The design and implementation of typed scheme. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, scheme
1Sam Tobin-Hochstadt, Matthias Felleisen Interlanguage migration: from scripts to programs. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interlanguage migration, contract, ?-calculus, module systems
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.