M. Felleisen
发表
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1986
.
Matthias Felleisen,
Zena M. Ariola,
M. Felleisen,
1995,
POPL '95.
M. Felleisen,
A. Sabry,
1993
.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1997
.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1998,
POPL '98.
Robert Hieb,
Matthias Felleisen,
M. Felleisen,
1992,
Theor. Comput. Sci..
D. Friedman,
M. Felleisen,
1986
.
Amr Sabry,
Matthias Felleisen,
Cormac Flanagan,
1993,
PLDI '93.
Matthias Felleisen,
Robert Bruce Findler,
M. Felleisen,
2001,
OOPSLA '01.
M. Felleisen,
1988
.
M. Abadi,
K. McMillan,
M. Felleisen,
2017
.
M. Felleisen,
B. Duba,
A. Sabry,
2007
.
M. Felleisen,
A. Sabry,
1992
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2006,
OOPSLA '06.
M. Felleisen,
S. Tobin-Hochstadt,
Stephen Strickland,
2008
.
Carl Eastlund,
M. Felleisen,
Dale Vaillancourt,
2007
.
C. Flanagan,
M. Felleisen,
B. Duba,
2004,
SIGP.
M. Felleisen,
1994
.
M. Felleisen,
1994
.
M. Felleisen,
Ryan Culpepper,
2009
.
M. Felleisen,
Robert Cartwright,
1994
.
C. Flanagan,
M. Felleisen,
Stephanie Weirich,
1996,
PLDI.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004
.
Max S. New,
Daniel Feltey,
M. Felleisen,
2015
.
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2012
.
M. Felleisen,
Robert Cartwright,
1994,
TACS.
M. Felleisen,
Stephen Strickland,
2010
.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2004
.
C. Flanagan,
M. Felleisen,
1999,
PLDI '97.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
M. Felleisen,
T. Strickland,
2010,
DLS '10.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1994
.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1996,
PLDI.
M. Felleisen,
Cartwright,
1992
.
M. Felleisen,
1991
.
M. Felleisen,
R. Findler,
2000
.
Matthias Felleisen,
M. Felleisen,
1990,
European Symposium on Programming.
Matthias Felleisen,
M. Felleisen,
1987
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1987,
Formal Description of Programming Concepts.
Peter J. Denning,
Peter Freeman,
Matthia Felleisen,
2009
.
Paul Hudak,
Matthias Felleisen,
Christian Queinnec,
1998,
ACM SIGPLAN International Conference on Functional Programming.
Robert Harper,
Matthias Felleisen,
Frank Pfenning,
2002
.
Martin Hofmann,
Matthias Felleisen,
M. Hofmann,
2007,
POPL.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Kathi Fisler,
Shriram Krishnamurthi,
1999
.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
2004
.
Matthias Felleisen,
Shriram Krishnamurthi,
John Clements,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Daniel P. Friedman,
Bruce F. Duba,
1986,
LICS.
M. Felleisen,
M. Flatt,
R. Findler,
2004
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2010,
ICFP '10.
Matthias Felleisen,
Shriram Krishnamurthi,
Daniel P. Friedman,
1998,
ECOOP.
Matthias Felleisen,
Samuel Caldwell,
Tony Garnock-Jones,
2020,
Journal of Functional Programming.
Matthias Felleisen,
Robert Bruce Findler,
M. Felleisen,
2002,
ICFP '02.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1989,
Theor. Comput. Sci..
Matthias Felleisen,
Robert Cartwright,
M. Felleisen,
1989,
PLDI '89.
Matthias Felleisen,
Dorai Sitaram,
M. Felleisen,
1990,
LISP Symb. Comput..
Matthias Felleisen,
M. Felleisen,
1988,
POPL '88.
Matthias Felleisen,
Andrew K. Wright,
M. Felleisen,
1994,
Inf. Comput..
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1987,
POPL '87.
Jan Vitek,
Matthias Felleisen,
Ben Greenman,
2016,
POPL.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2015,
ECOOP.
Matthias Felleisen,
Leif Andersen,
Michael Ballantyne,
2020,
Proc. ACM Program. Lang..
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1994
.
Matthias Felleisen,
Robert Bruce Findler,
Philippe Meunier,
2006,
POPL '06.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1997,
TOPL.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1996
.
Matthias Felleisen,
Daniel P. Friedman,
Bruce F. Duba,
1986,
LFP '86.
Matthias Felleisen,
M. Felleisen,
1990,
ESOP.
Matthias Felleisen,
T. Stephen Strickland,
M. Felleisen,
2012
.
Matthias Felleisen,
Shriram Krishnamurthi,
Yan-David Erlich,
1999,
ESOP.
M. Felleisen,
S. Krishnamurthi,
1997
.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1995,
POPL '95.
Matthias Felleisen,
Robert Harper,
J. Gregory Morrisett,
1995,
FPCA '95.
Matthias Felleisen,
Zena M. Ariola,
M. Felleisen,
1997,
Journal of Functional Programming.
Matthias Felleisen,
Dorai Sitaram,
M. Felleisen,
1991,
POPL '91.
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2010
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2018,
Commun. ACM.
Matthias Felleisen,
Leif Andersen,
Stephen Chang,
2017,
Proc. ACM Program. Lang..
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2015,
SNAPL.
Matthias Felleisen,
Stephen Chang,
M. Felleisen,
2014,
POPL.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Matthew Flatt,
2012,
PADL.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Matthew Flatt,
2011,
PLDI '11.
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2010,
Sci. Comput. Program..
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2007,
GPCE '07.
Jan Vitek,
Matthias Felleisen,
Robert Bruce Findler,
2019,
Journal of Functional Programming.
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2006
.
Matthias Felleisen,
Erik Crank,
M. Felleisen,
1991,
POPL '91.
Matthias Felleisen,
Mitchell Wand,
Daniel P. Friedman,
1988,
LISP and Functional Programming.
M. Felleisen,
Robert Cartwright,
1994
.
Matthias Felleisen,
Kathi Fisler,
Shriram Krishnamurthi,
2015,
SIGCSE.
Matthias Felleisen,
Robert Bruce Findler,
M. Felleisen,
2013,
SIGP.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2011,
ArXiv.
Matthias Felleisen,
M. Felleisen,
2010,
ICFP '10.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2009,
ICFP.
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2009,
ACL2 '09.
Matthias Felleisen,
M. Felleisen,
2008,
SIGP.
Matthias Felleisen,
Carl Eastlund,
Rex L. Page,
2008,
FDPE '08.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2008,
POPL '08.
Matthias Felleisen,
Rex L. Page,
Dale Vaillancourt,
2006,
ACL2 '06.
Matthias Felleisen,
M. Felleisen,
2005,
FDPE '05.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
Comput. Sci. Educ..
Matthias Felleisen,
M. Felleisen,
2003,
Journal of functional programming.
Matthias Felleisen,
M. Felleisen,
2002,
Advanced Functional Programming.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2002,
J. Funct. Program..
Gang Yu,
Matthias Felleisen,
Robert Bruce Findler,
2007,
ICFP '07.
Matthias Felleisen,
Dorai Sitaram,
M. Felleisen,
1990,
LISP and Functional Programming.
M. Felleisen,
M. Flatt,
R. Findler,
2012
.
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2006
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
T. Stephen Strickland,
2009,
ESOP.
M. Felleisen,
P. Graunke,
R.B. Findler,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1996,
PLDI '96.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2009
.
Matthias Felleisen,
Shriram Krishnamurthi,
Jay A. McCarthy,
2007,
High. Order Symb. Comput..
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
J. Funct. Program..
Matthias Felleisen,
Stephen Chang,
M. Felleisen,
2012,
ESOP.
Amr Sabry,
Matthias Felleisen,
M. Felleisen,
1992,
LFP '92.
M. Felleisen,
M. Flatt,
S. Krishnamurthi,
2001
.
M. Felleisen,
Christos Dimoulas,
B. Greenman,
2023,
ACM Trans. Program. Lang. Syst..
Matthias Felleisen,
Ben Greenman,
Christos Dimoulas,
2019,
Proc. ACM Program. Lang..
Matthias Felleisen,
Ben Greenman,
Christos Dimoulas,
2021,
Art Sci. Eng. Program..
Matthias Felleisen,
Ben Greenman,
Christos Dimoulas,
2021,
Proc. ACM Program. Lang..
Matthias Felleisen,
Ben Greenman,
M. Felleisen,
2018,
Proc. ACM Program. Lang..
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2017,
SNAPL.
Sam Tobin-Hochstadt,
Matthias Felleisen,
T. Stephen Strickland,
2012,
OOPSLA '12.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Christos Dimoulas,
2012,
ESOP.
Matthias Felleisen,
Christos Dimoulas,
M. Felleisen,
2011,
TOPL.
Matthias Felleisen,
Robert Bruce Findler,
Cormac Flanagan,
2011,
POPL '11.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
ECOOP.
Matthias Felleisen,
Robert Bruce Findler,
Max S. New,
2016,
ICFP.
Matthias Felleisen,
T. Stephen Strickland,
Asumu Takikawa,
2010,
DLS '10.
Matthias Felleisen,
Shriram Krishnamurthi,
M. Felleisen,
1998,
SIGSOFT '98/FSE-6.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
1997,
PLILP.
Matthias Felleisen,
Stephen Weeks,
M. Felleisen,
1993,
POPL '93.
Matthias Felleisen,
Robert Cartwright,
Ramarao Kanneganti,
1992,
REX Workshop.
Matthias Felleisen,
Daniel P. Friedman,
Bruce F. Duba,
1987,
Theor. Comput. Sci..
Matthias Felleisen,
Shriram Krishnamurthi,
Erich Neuwirth,
2004,
Proceedings. 26th International Conference on Software Engineering.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2012,
POPL '12.
Matthias Felleisen,
Christos Dimoulas,
M. Felleisen,
2012
.
M. Felleisen,
M. Flatt,
Ryan Culpepper,
2011,
PLDI '11.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1995
.
Matthias Felleisen,
M. Felleisen,
1988,
LISP and Functional Programming.
Matthias Felleisen,
John Clements,
M. Felleisen,
2004,
TOPL.
Matthias Felleisen,
John Clements,
M. Felleisen,
2003,
ESOP.
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
1989
.
Max S. New,
Daniel Feltey,
M. Felleisen,
2019,
Journal of Functional Programming.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
RTA.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2003,
ESOP.
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
2000
.
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
1998,
PLDI.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1999,
Formal Syntax and Semantics of Java.
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2009,
PPDP '09.
Jan Vitek,
Matthias Felleisen,
Vincent St-Amour,
2015,
CC.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2006
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Tony Garnock-Jones,
2014,
ESOP.
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
2006
.
Marvin Minsky,
S. Perceptrons Papert,
M. Minsky,
1969
.
Amr Sabry,
Matthias Felleisen,
Cormac Flanagan,
1993,
PLDI 1993.
Matthias Felleisen,
Daniel P. Friedman,
M. Felleisen,
1995
.
Steve Van Der Hoeven,
M. Felleisen,
S. Krishnamurthi,
2001,
ESOP.