| A syntactic approach to type soundness AK Wright, M Felleisen Information and computation 115 (1), 38-94, 1994 | 1547 | 1994 |
| The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen Proceedings of the ACM SIGPLAN 1993 conference on Programming language …, 1993 | 748 | 1993 |
| The revised report on the syntactic theories of sequential control and state M Felleisen, R Hieb Theoretical computer science 103 (2), 235-271, 1992 | 676 | 1992 |
| Classes and mixins M Flatt, S Krishnamurthi, M Felleisen Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 590 | 1998 |
| Contracts for higher-order functions RB Findler, M Felleisen Proceedings of the seventh ACM SIGPLAN international conference on …, 2002 | 571 | 2002 |
| Control Operators, the SECD-machine, and the [1]-calculus M Felleisen, DP Friedman Indiana University, Computer Science Department, 1986 | 498 | 1986 |
| A call-by-need lambda calculus ZM Ariola, J Maraist, M Odersky, M Felleisen, P Wadler Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 491 | 1995 |
| How to design programs M Felleisen, RB Findler, M Flatt, S Krishnamurthi MIT Press, 2001 | 475 | 2001 |
| On the expressive power of programming languages M Felleisen Science of computer programming 17 (1-3), 35-75, 1991 | 472 | 1991 |
| The theory and practice of first-class prompts M Felleisen Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988 | 392 | 1988 |
| Semantics engineering with PLT Redex M Felleisen, RB Findler, M Flatt Mit Press, 2009 | 388 | 2009 |
| Reasoning about programs in continuation-passing style A Sabry, M Felleisen Lisp and symbolic computation 6, 289-360, 1993 | 380 | 1993 |
| The design and implementation of Typed Scheme S Tobin-Hochstadt, M Felleisen ACM SIGPLAN Notices 43 (1), 395-406, 2008 | 379 | 2008 |
| Hygienic macro expansion E Kohlbecker, DP Friedman, M Felleisen, B Duba Proceedings of the 1986 ACM Conference on LISP and Functional Programming …, 1986 | 354 | 1986 |
| DrScheme: A programming environment for Scheme RB Findler, J Clements, C Flanagan, M Flatt, S Krishnamurthi, P Steckler, ... Journal of functional programming 12 (2), 159-182, 2002 | 331 | 2002 |
| A syntactic theory of sequential control M Felleisen, DP Friedman, E Kohlbecker, B Duba Theoretical computer science 52 (3), 205-237, 1987 | 310 | 1987 |
| Units: Cool modules for HOT languages M Flatt, M Felleisen Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998 | 304 | 1998 |
| Interlanguage migration: From scripts to programs S Tobin-Hochstadt, M Felleisen Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006 | 240 | 2006 |
| The Seasoned Schemer. DP Friedman, M Felleisen Computers & Mathematics with Applications 31 (11), 135-135, 1996 | 236* | 1996 |
| 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 | 224 | 2011 |
