| The design and implementation of typed scheme S Tobin-Hochstadt, M Felleisen Symposium on Principles of Programming Languages, 395-406, 2008 | 413 | 2008 |
| The Fortress language specification E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... Sun Microsystems 139, 140, 2005 | 396* | 2005 |
| Interlanguage migration: From scripts to programs S Tobin-Hochstadt, M Felleisen Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006 | 259 | 2006 |
| 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 | 235 | 2011 |
| Logical types for untyped languages S Tobin-Hochstadt, M Felleisen International Conference on Functional Programming, 117-128, 2010 | 161 | 2010 |
| 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 | 148 | 2012 |
| 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 | 119 | 2018 |
| 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 | 109 | 2015 |
| Chaperones and impersonators: run-time support for reasonable interposition TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt OOPSLA 47 (10), 943-962, 2012 | 108 | 2012 |
| The Fortress language specification version 1.0 E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... March, 2008 | 103 | 2008 |
| 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 | 99 | 2012 |
| Gradual typing for first-class classes A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen OOPSLA 47 (10), 793-810, 2012 | 95 | 2012 |
| Complete monitors for behavioral contracts C Dimoulas, S Tobin-Hochstadt, M Felleisen Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 91 | 2012 |
| 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 | 88 | 2015 |
| 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 | 74 | 2015 |
| Higher-Order Symbolic Execution via Contracts S Tobin-Hochstadt, D Van Horn OOPSLA 2012, 2012 | 71 | 2012 |
| Soft contract verification PC Nguyen, S Tobin-Hochstadt, D Van Horn International Conference on Functional Programming, 139-152, 2014 | 70 | 2014 |
| 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 | 53 | 2015 |
| 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 | 51 | 2017 |
| Practical Optional Types for Clojure A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt Programming Languages and Systems LNCS 9632, 68, 2016 | 51 | 2016 |
Matthias FelleisenTrustee Professor of Computer Science, Northeastern University確認したメール アドレス: felleisen.org