Volgen
Matthias Felleisen
Matthias Felleisen
Trustee Professor of Computer Science, Northeastern University
Geverifieerd e-mailadres voor felleisen.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A syntactic approach to type soundness
AK Wright, M Felleisen
Information and computation 115 (1), 38-94, 1994
15641994
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
7661993
The revised report on the syntactic theories of sequential control and state
M Felleisen, R Hieb
Theoretical computer science 103 (2), 235-271, 1992
6871992
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5921998
Contracts for higher-order functions
RB Findler, M Felleisen
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
5742002
Control Operators, the SECD-machine, and the [1]-calculus
M Felleisen, DP Friedman
Indiana University, Computer Science Department, 1986
5051986
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
5001995
On the expressive power of programming languages
M Felleisen
Science of computer programming 17 (1-3), 35-75, 1991
4971991
How to design programs
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2001
4922001
Semantics engineering with PLT Redex
M Felleisen, RB Findler, M Flatt
Mit Press, 2009
3962009
The theory and practice of first-class prompts
M Felleisen
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
3941988
The design and implementation of Typed Scheme
S Tobin-Hochstadt, M Felleisen
ACM SIGPLAN Notices 43 (1), 395-406, 2008
3932008
Reasoning about programs in continuation-passing style
A Sabry, M Felleisen
Lisp and symbolic computation 6, 289-360, 1993
3811993
Hygienic macro expansion
E Kohlbecker, DP Friedman, M Felleisen, B Duba
Proceedings of the 1986 ACM Conference on LISP and Functional Programming …, 1986
3601986
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
3342002
A syntactic theory of sequential control
M Felleisen, DP Friedman, E Kohlbecker, B Duba
Theoretical computer science 52 (3), 205-237, 1987
3151987
Units: Cool modules for HOT languages
M Flatt, M Felleisen
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
3041998
Interlanguage migration: From scripts to programs
S Tobin-Hochstadt, M Felleisen
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006
2442006
The Seasoned Schemer.
DP Friedman, M Felleisen
Computers & Mathematics with Applications 31 (11), 135-135, 1996
240*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
2272011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20