| A syntactic approach to type soundness AK Wright, M Felleisen Information and computation 115 (1), 38-94, 1994 | 1612 | 1994 |
| The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen ACM Sigplan Notices 28 (6), 237-247, 1993 | 811 | 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 | 706 | 1992 |
| Contracts for higher-order functions RB Findler, M Felleisen Proceedings of the seventh ACM SIGPLAN international conference on …, 2002 | 600 | 2002 |
| Classes and mixins M Flatt, S Krishnamurthi, M Felleisen Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 598 | 1998 |
| How to design programs M Felleisen, RB Findler, M Flatt, S Krishnamurthi MIT Press, 2001 | 522 | 2001 |
| Control Operators, the SECD-machine, and the [1]-calculus M Felleisen, DP Friedman Indiana University, Computer Science Department, 1986 | 520 | 1986 |
| On the expressive power of programming languages M Felleisen Science of computer programming 17 (1-3), 35-75, 1991 | 514 | 1991 |
| 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 | 511 | 1995 |
| The design and implementation of Typed Scheme S Tobin-Hochstadt, M Felleisen ACM SIGPLAN Notices 43 (1), 395-406, 2008 | 414 | 2008 |
| Semantics engineering with PLT Redex M Felleisen, RB Findler, M Flatt Mit Press, 2009 | 413 | 2009 |
| The theory and practice of first-class prompts M Felleisen Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988 | 404 | 1988 |
| Reasoning about programs in continuation-passing style A Sabry, M Felleisen Lisp and symbolic computation 6, 289-360, 1993 | 389 | 1993 |
| Hygienic macro expansion E Kohlbecker, DP Friedman, M Felleisen, B Duba Proceedings of the 1986 ACM Conference on LISP and Functional Programming …, 1986 | 365 | 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 | 341 | 2002 |
| A syntactic theory of sequential control M Felleisen, DP Friedman, E Kohlbecker, B Duba Theoretical computer science 52 (3), 205-237, 1987 | 319 | 1987 |
| Units: Cool modules for HOT languages M Flatt, M Felleisen Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998 | 306 | 1998 |
| Interlanguage migration: From scripts to programs S Tobin-Hochstadt, M Felleisen Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006 | 260 | 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 |
| Reasoning about programs in continuation-passing style. A Sabry, M Felleisen ACM SIGPLAN Lisp Pointers, 288-298, 1992 | 228 | 1992 |
Robert Bruce FindlerNorthwestern UniversityVerified email at cs.northwestern.edu