| Chaperones and Impersonators: Run-time Support for Reasonable Interposition TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt Object-Oriented Programming, Systems, and Languages(OOPSLA, 2012. http://www …, 2012 | 108 | 2012 |
| Gradual typing for first-class classes A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen Proceedings of the ACM international conference on Object oriented …, 2012 | 95 | 2012 |
| 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 |
| The ruby type checker BM Ren, J Toman, TS Strickland, JS Foster Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1565-1572, 2013 | 47 | 2013 |
| Practical variable-arity polymorphism T Strickland, S Tobin-Hochstadt, M Felleisen Programming Languages and Systems, 32-46, 2009 | 31 | 2009 |
| Constraining delimited control with contracts A Takikawa, TS Strickland, S Tobin-Hochstadt European Symposium on Programming, 229-248, 2013 | 30 | 2013 |
| Contracts for first-class classes TS Strickland, M Felleisen Proceedings of the 6th symposium on Dynamic languages, 97-112, 2010 | 28 | 2010 |
| Contracts for first-class modules TS Strickland, M Felleisen Proceedings of the 5th symposium on Dynamic languages, 27-38, 2009 | 17 | 2009 |
| Contracts for first-class classes TS Strickland, C Dimoulas, A Takikawa, M Felleisen ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-58, 2013 | 14 | 2013 |
| Nested and dynamic contract boundaries TS Strickland, M Felleisen International Symposium on Implementation and Application of Functional …, 2009 | 9 | 2009 |
| Contracts for domain-specific languages in Ruby TS Strickland, BM Ren, JS Foster Proceedings of the 10th ACM Symposium on Dynamic languages, 23-34, 2014 | 7 | 2014 |
| Scaling contracts to realistic languages TS Strickland Northeastern University, 2012 | | 2012 |
| Implementing General Contract Boundaries TS Strickland, M Felleisen | | |
| The Essence of Object-Based Embedded Domain-Specific Languages TS Strickland, BM Ren, JS Foster | | |
| Variable-Arity Generic Interfaces TS Strickland, R Cobbe, M Felleisen | | |
Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityVerified email at felleisen.org
