34 Publications (Page 2 of 2)
2012
Optimization coaching
St-Amour, Vincent⋅Tobin Hochstadt, Sam and Felleisen, Matthias
ACM SIGPLAN Notices, vol. 47, (no. 10), pp. 163, 2012-11-15. | Journal Article
 
Run your research
Klein, Casey⋅Klein, Casey⋅Findler, Robert Bruce⋅Findler, Robert Bruce⋅Clements, John⋅Clements, John⋅Dimoulas, Christos⋅Dimoulas, Christos⋅Eastlund, Carl⋅Eastlund, Carl⋅Felleisen, Matthias⋅Felleisen, Matthias⋅Flatt, Matthew⋅Flatt, Matthew⋅McCarthy, Jay A⋅McCarthy, Jay A⋅Rafkind, Jon⋅Rafkind, Jon⋅Tobin Hochstadt, Sam and Tobin-Hochstadt, Sam
ACM SIGPLAN Notices, vol. 47, (no. 1), pp. 285, 2012-01-18. | Journal Article
2011
Extensible Pattern Matching in an Extensible Language
Tobin Hochstadt, Sam
2011-06-13. | Journal Article
 
Higher-Order Symbolic Execution via Contracts
Tobin Hochstadt, Sam and Van Horn, David
2011-03-07. | Journal Article
 
Languages as libraries
Tobin-Hochstadt, Sam⋅Tobin Hochstadt, Sam⋅St-Amour, Vincent⋅St-Amour, Vincent⋅Culpepper, Ryan⋅Culpepper, Ryan⋅Flatt, Matthew⋅Flatt, Matthew⋅Felleisen, Matthias and Felleisen, Matthias
ACM SIGPLAN Notices, vol. 46, (no. 6), pp. 132, 2011-06-04. | Journal Article
 
Semantic Solutions to Program Analysis Problems
Tobin Hochstadt, Sam and Van Horn, David
2011-04-30. | Journal Article
 
The Design and Implementation of Typed Scheme: From Scripts to Programs
Tobin Hochstadt, Sam and Felleisen, Matthias
2011-06-13. | Journal Article
2010
Logical types for untyped languages
Tobin Hochstadt, Sam and Felleisen, Matthias
ACM SIGPLAN Notices, vol. 45, (no. 9), pp. 117, 2010-09-27. | Journal Article
2008
The design and implementation of typed scheme
Tobin Hochstadt, Sam and Felleisen, Matthias
ACM SIGPLAN Notices, vol. 43, (no. 1), pp. 395, 2008-01-14. | Journal Article