Follow
Sam Tobin-Hochstadt
Sam Tobin-Hochstadt
Associate Professor, Indiana University
Verified email at cs.indiana.edu - Homepage
Title
Cited by
Cited by
Year
The design and implementation of typed scheme
S Tobin-Hochstadt, M Felleisen
Symposium on Principles of Programming Languages, 395-406, 2008
4112008
The Fortress language specification
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
Sun Microsystems 139, 140, 2005
394*2005
Interlanguage migration: From scripts to programs
S Tobin-Hochstadt, M Felleisen
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006
2582006
Languages as libraries
S Tobin-Hochstadt, V St-Amour, R Culpepper, M Flatt, M Felleisen
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2342011
Logical types for untyped languages
S Tobin-Hochstadt, M Felleisen
International Conference on Functional Programming, 117-128, 2010
1612010
Run your research: on the effectiveness of lightweight mechanization
C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ...
Symposium on Principles of Programming Languages, 285-296, 2012
1472012
A programmable programming language
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
Communications of the ACM 61 (3), 62-71, 2018
1182018
Chaperones and impersonators: run-time support for reasonable interposition
TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt
OOPSLA 47 (10), 943-962, 2012
1082012
The Racket Manifesto
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
1st Summit on Advances in Programming Languages (SNAPL 2015)} 32, 113-128, 2015
1072015
The Fortress language specification version 1.0
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
March, 2008
1032008
Method and apparatus for expressing and checking relationships between types
S Ryu, EE Allen, VM Luchangco, JJ Hallett III, SY Tobin-Hochstadt
US Patent 8,225,294, 2012
982012
Gradual typing for first-class classes
A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen
OOPSLA 47 (10), 793-810, 2012
952012
Complete monitors for behavioral contracts
C Dimoulas, S Tobin-Hochstadt, M Felleisen
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
912012
Monotonic references for efficient gradual typing
JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
882015
Pycket: a tracing JIT for a functional language
S Bauman, CF Bolz, R Hirschfeld, V Kirilichev, T Pape, JG Siek, ...
International Conference on Functional Programming 50 (9), 22-34, 2015
742015
Soft contract verification
PC Nguyen, S Tobin-Hochstadt, D Van Horn
International Conference on Functional Programming, 139-152, 2014
692014
Higher-Order Symbolic Execution via Contracts
S Tobin-Hochstadt, D Van Horn
OOPSLA 2012, 2012
682012
Towards practical gradual typing
A Takikawa, D Feltey, E Dean, M Flatt, RB Findler, S Tobin-Hochstadt, ...
European Conference on Object Oriented Programming 37, 2015
532015
Practical Optional Types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
Programming Languages and Systems LNCS 9632, 68, 2016
512016
Migratory typing: Ten years later
S Tobin-Hochstadt, M Felleisen, R Findler, M Flatt, B Greenman, AM Kent, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
502017
The system can't perform the operation now. Try again later.
Articles 1–20