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 Fortress language specification
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
Sun Microsystems 139, 140, 2005
402*2005
The design and implementation of typed scheme
S Tobin-Hochstadt, M Felleisen
Symposium on Principles of Programming Languages, 395-406, 2008
3902008
Interlanguage migration: From scripts to programs
S Tobin-Hochstadt, M Felleisen
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006
2422006
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
2312011
Logical types for untyped languages
S Tobin-Hochstadt, M Felleisen
International Conference on Functional Programming, 117-128, 2010
1572010
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
1422012
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
1042018
Chaperones and impersonators: run-time support for reasonable interposition
TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt
OOPSLA 47 (10), 943-962, 2012
1032012
The Fortress language specification version 1.0
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
March, 2008
1032008
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
992015
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
972012
Gradual typing for first-class classes
A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen
OOPSLA 47 (10), 793-810, 2012
902012
Complete monitors for behavioral contracts
C Dimoulas, S Tobin-Hochstadt, M Felleisen
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
872012
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
812015
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
692015
Higher-Order Symbolic Execution via Contracts
S Tobin-Hochstadt, D Van Horn
OOPSLA 2012, 2012
692012
Soft contract verification
PC Nguyen, S Tobin-Hochstadt, D Van Horn
International Conference on Functional Programming, 139-152, 2014
682014
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
502015
Optimization coaching: optimizers learn to communicate with programmers
V St-Amour, S Tobin-Hochstadt, M Felleisen
OOPSLA 47 (10), 163-178, 2012
482012
Practical Optional Types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
Programming Languages and Systems LNCS 9632, 68, 2016
442016
The system can't perform the operation now. Try again later.
Articles 1–20