Sam Tobin-Hochstadt
Sam Tobin-Hochstadt
Associate Professor, Indiana University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.indiana.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
The Fortress language specification
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
Sun Microsystems 139, 140, 2005
364*2005
The design and implementation of typed scheme
S Tobin-Hochstadt, M Felleisen
Symposium on Principles of Programming Languages, 395-406, 2008
3252008
Interlanguage migration: From scripts to programs
S Tobin-Hochstadt, M Felleisen
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006
1962006
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
1882011
Logical types for untyped languages
S Tobin-Hochstadt, M Felleisen
International Conference on Functional Programming, 117-128, 2010
1342010
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
1042012
The Fortress language specification version 1.0
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
March, 2008
922008
Chaperones and impersonators: run-time support for reasonable interposition
TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt
OOPSLA 47 (10), 943-962, 2012
812012
Gradual typing for first-class classes
A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen
OOPSLA 47 (10), 793-810, 2012
722012
Complete monitors for behavioral contracts
C Dimoulas, S Tobin-Hochstadt, M Felleisen
European Symposium on Programming, 214-233, 2012
702012
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
642015
Higher-Order Symbolic Execution via Contracts
S Tobin-Hochstadt, D Van Horn
OOPSLA 2012, 2012
602012
Soft contract verification
PC Nguyen, S Tobin-Hochstadt, D Van Horn
International Conference on Functional Programming, 139-152, 2014
552014
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
542015
Monotonic references for efficient gradual typing
JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia
European Symposium on Programming Languages and Systems, 432-456, 2015
542015
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
422015
Optimization coaching: optimizers learn to communicate with programmers
V St-Amour, S Tobin-Hochstadt, M Felleisen
OOPSLA 47 (10), 163-178, 2012
382012
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
352018
Practical Optional Types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
Programming Languages and Systems LNCS 9632, 68, 2016
332016
Taming the parallel effect zoo: Extensible deterministic parallelism with LVish
L Kuper, A Todd, S Tobin-Hochstadt, RR Newton
Programming Language Design and Implementation 49 (6), 2-14, 2014
292014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20