| The design and implementation of typed scheme S Tobin-Hochstadt, M Felleisen Symposium on Principles of Programming Languages, 395-406, 2008 | 398 | 2008 |
| The Fortress language specification E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... Sun Microsystems 139, 140, 2005 | 390* | 2005 |
| Interlanguage migration: From scripts to programs S Tobin-Hochstadt, M Felleisen Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006 | 248 | 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 | 228 | 2011 |
| Logical types for untyped languages S Tobin-Hochstadt, M Felleisen International Conference on Functional Programming, 117-128, 2010 | 158 | 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 | 145 | 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 | 110 | 2018 |
| Chaperones and impersonators: run-time support for reasonable interposition TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt OOPSLA 47 (10), 943-962, 2012 | 105 | 2012 |
| 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 | 104 | 2015 |
| The Fortress language specification version 1.0 E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... March, 2008 | 102 | 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 | 98 | 2012 |
| Gradual typing for first-class classes A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen OOPSLA 47 (10), 793-810, 2012 | 91 | 2012 |
| Complete monitors for behavioral contracts C Dimoulas, S Tobin-Hochstadt, M Felleisen Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 90 | 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 | 83 | 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 | 72 | 2015 |
| Soft contract verification PC Nguyen, S Tobin-Hochstadt, D Van Horn International Conference on Functional Programming, 139-152, 2014 | 67 | 2014 |
| Higher-Order Symbolic Execution via Contracts S Tobin-Hochstadt, D Van Horn OOPSLA 2012, 2012 | 67 | 2012 |
| 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 | 52 | 2015 |
| Practical Optional Types for Clojure A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt Programming Languages and Systems LNCS 9632, 68, 2016 | 48 | 2016 |
| Optimization coaching: optimizers learn to communicate with programmers V St-Amour, S Tobin-Hochstadt, M Felleisen OOPSLA 47 (10), 163-178, 2012 | 47 | 2012 |
Matthias FelleisenTrustee Professor of Computer Science, Northeastern University在 felleisen.org 的电子邮件经过验证
