A syntactic approach to type soundness AK Wright, M Felleisen Information and computation 115 (1), 38-94, 1994 | 1582 | 1994 |
The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen ACM Sigplan Notices 28 (6), 237-247, 1993 | 778 | 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 | 694 | 1992 |
Classes and mixins M Flatt, S Krishnamurthi, M Felleisen Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 592 | 1998 |
Contracts for higher-order functions RB Findler, M Felleisen Proceedings of the seventh ACM SIGPLAN international conference on …, 2002 | 583 | 2002 |
Control Operators, the SECD-machine, and the [1]-calculus M Felleisen, DP Friedman Indiana University, Computer Science Department, 1986 | 510 | 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 | 502 | 1995 |
How to design programs M Felleisen, RB Findler, M Flatt, S Krishnamurthi MIT Press, 2001 | 499 | 2001 |
On the expressive power of programming languages M Felleisen Science of computer programming 17 (1-3), 35-75, 1991 | 499 | 1991 |
Semantics engineering with PLT Redex M Felleisen, RB Findler, M Flatt Mit Press, 2009 | 403 | 2009 |
The design and implementation of Typed Scheme S Tobin-Hochstadt, M Felleisen ACM SIGPLAN Notices 43 (1), 395-406, 2008 | 399 | 2008 |
The theory and practice of first-class prompts M Felleisen Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988 | 399 | 1988 |
Reasoning about programs in continuation-passing style A Sabry, M Felleisen Lisp and symbolic computation 6, 289-360, 1993 | 383 | 1993 |
Hygienic macro expansion E Kohlbecker, DP Friedman, M Felleisen, B Duba Proceedings of the 1986 ACM Conference on LISP and Functional Programming …, 1986 | 361 | 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 | 337 | 2002 |
A syntactic theory of sequential control M Felleisen, DP Friedman, E Kohlbecker, B Duba Theoretical computer science 52 (3), 205-237, 1987 | 317 | 1987 |
Units: Cool modules for HOT languages M Flatt, M Felleisen Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998 | 305 | 1998 |
Interlanguage migration: From scripts to programs S Tobin-Hochstadt, M Felleisen Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006 | 249 | 2006 |
The Seasoned Schemer. DP Friedman, M Felleisen Computers & Mathematics with Applications 31 (11), 135-135, 1996 | 241* | 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 | 228 | 2011 |