Matthias Felleisen
发表
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2017,
SNAPL.
Matthias Felleisen,
Robert Cartwright,
1996,
CSUR.
Jan Vitek,
Matthias Felleisen,
Vincent St-Amour,
2015,
CC.
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2012
.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1994
.
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2011
.
Matthias Felleisen,
Robert Cartwright,
P. Lee,
2005
.
Matthias Felleisen,
Ron Cytron,
Cindy Norris,
2001,
SIGP.
Gang Yu,
Matthias Felleisen,
Robert Bruce Findler,
2007,
ICFP '07.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1987,
POPL '87.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Stephen Chang,
John Clements,
2011,
ArXiv.
Matthias Felleisen,
Zena M. Ariola,
M. Felleisen,
1995,
POPL '95.
Robert Harper,
Matthias Felleisen,
Frank Pfenning,
2002
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2018,
Commun. ACM.
Matthias Felleisen,
Samuel Caldwell,
Tony Garnock-Jones,
2020,
Journal of Functional Programming.
Matthias Felleisen,
Vincent St-Amour,
Leif Andersen,
2015,
CC.
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
2006
.
Matthias Felleisen,
Martin Hofmann,
2007,
POPL 2007.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1987,
Formal Description of Programming Concepts.
Matthias Felleisen,
2010
.
Matthias Felleisen,
2005
.
Matthias Felleisen,
Christos Dimoulas,
M. Felleisen,
2011,
TOPL.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1996,
PLDI '96.
Matthias Felleisen,
Robert Harper,
J. Gregory Morrisett,
1995,
FPCA '95.
Matthias Felleisen,
2007
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
1999,
ICFP '99.
Matthias Felleisen,
M. Felleisen,
2010,
ICFP '10.
Matthias Felleisen,
Julia L. Lawall,
Olin Shivers,
2005,
High. Order Symb. Comput..
Matthias Felleisen,
Stephen Chang,
John Clements,
2011,
IFL.
Matthias Felleisen,
M. Felleisen,
1988,
POPL '88.
Matthias Felleisen,
T. Stephen Strickland,
2010,
DLS '10.
Matthias Felleisen,
Shriram Krishnamurthi,
Paul T. Graunke,
2001,
ESOP.
Amr Sabry,
Matthias Felleisen,
M. Felleisen,
1992,
LFP '92.
Matthias Felleisen,
Dorai Sitaram,
M. Felleisen,
1991,
POPL '91.
Matthias Felleisen,
Ben Greenman,
M. Felleisen,
2018,
Proc. ACM Program. Lang..
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
RTA.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2004
.
Matthias Felleisen,
2010,
TLDI '10.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1996,
PLDI.
Matthias Felleisen,
Philippa Gardner,
2013,
Lecture Notes in Computer Science.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Vincent St-Amour,
2012,
OOPSLA '12.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Matthew Flatt,
2011,
PLDI '11.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2015
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Tony Garnock-Jones,
2014,
ESOP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2009,
ICFP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Jan Vitek,
Matthias Felleisen,
Ben Greenman,
2016,
POPL.
Matthias Felleisen,
Shriram Krishnamurthi,
Erich Neuwirth,
2004,
Proceedings. 26th International Conference on Software Engineering.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2004,
Automated Software Engineering.
Matthias Felleisen,
Shriram Krishnamurthi,
Daniel P. Friedman,
1998,
ECOOP.
Matthias Felleisen,
M. Felleisen,
2003,
Journal of functional programming.
Matthias Felleisen,
Stephen Weeks,
M. Felleisen,
1993,
POPL '93.
Matthias Felleisen,
Stephen Chang,
M. Felleisen,
2014,
POPL.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004
.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1997
.
Matthias Felleisen,
Leif Andersen,
Michael Ballantyne,
2020,
Proc. ACM Program. Lang..
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1986
.
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2010
.
Matthias Felleisen,
Dorai Sitaram,
M. Felleisen,
1990,
LISP and Functional Programming.
Matthias Felleisen,
Cormac Flanagan,
2007
.
Amr Sabry,
Matthias Felleisen,
1994,
PLDI '94.
Ralph E. Johnson,
Matthias Felleisen,
Daniel P. Friedman,
1997
.
Matthias Felleisen,
Andrew K. Wright,
M. Felleisen,
1994,
Inf. Comput..
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2015
.
Matthias Felleisen,
Robert Bruce Findler,
Mario Latendresse,
2001,
ESEC/FSE-9.
Matthias Felleisen,
M. Felleisen,
1987
.
Matthias Felleisen,
Shriram Krishnamurthi,
2001
.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1997,
TOPL.
Matthias Felleisen,
Shriram Krishnamurthi,
Jay A. McCarthy,
2007,
High. Order Symb. Comput..
Matthias Felleisen,
M. Felleisen,
2005,
FDPE '05.
Matthias Felleisen,
Michael Ballantyne,
Alexis King,
2020,
Proc. ACM Program. Lang..
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
Comput. Sci. Educ..
Robert Hieb,
Matthias Felleisen,
M. Felleisen,
1992,
Theor. Comput. Sci..
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
2004
.
Matthias Felleisen,
Zena M. Ariola,
M. Felleisen,
1997,
Journal of Functional Programming.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2002,
J. Funct. Program..
Jan Vitek,
Matthias Felleisen,
Robert Bruce Findler,
2019,
Journal of Functional Programming.
Matthias Felleisen,
Richard Cobbe,
2005,
POPL '05.
Ralph E. Johnson,
Matthias Felleisen,
Daniel P. Friedman,
1997
.
Matthias Felleisen,
M. Felleisen,
1990,
European Symposium on Programming.
Matthias Felleisen,
Daniel P. Friedman,
Bruce F. Duba,
1987,
Theor. Comput. Sci..
Matthias Felleisen,
Ron Cytron,
2001,
ACM SIGPLAN Notices.
Matthias Felleisen,
Carl Eastlund,
2010,
Trends in Functional Programming.
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
1989
.
Matthias Felleisen,
Daniel P. Friedman,
1986,
Comput. Lang..
Matthias Felleisen,
Dorai Sitaram,
M. Felleisen,
1990,
LISP Symb. Comput..
Ralph E. Johnson,
Matthias Felleisen,
Daniel P. Friedman,
1997
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2012,
POPL '12.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1994
.
Matthias Felleisen,
Erik Crank,
M. Felleisen,
1991,
POPL '91.
Amr Sabry,
Matthias Felleisen,
Cormac Flanagan,
1993,
PLDI 1993.
Ralph E. Johnson,
Matthias Felleisen,
Daniel P. Friedman,
1997
.
Matthias Felleisen,
Robert Bruce Findler,
2000
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Kathi Fisler,
Shriram Krishnamurthi,
1999
.
Matthias Felleisen,
Robert Cartwright,
1992,
POPL '92.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
T. Stephen Strickland,
2012,
OOPSLA '12.
Paul Hudak,
Matthias Felleisen,
Christian Queinnec,
1998,
ACM SIGPLAN International Conference on Functional Programming.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
ECOOP.
Matthias Felleisen,
T. Stephen Strickland,
Asumu Takikawa,
2010,
DLS '10.
Matthias Felleisen,
David N. Blank-Edelman,
Mark Logan,
2002,
LISA.
Matthias Felleisen,
Tony Garnock-Jones,
2016,
ESOP.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
2019,
SNAPL.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2008,
POPL '08.
Matthias Felleisen,
Paul A. Steckler,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Mario Latendresse,
2001
.
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
2000
.
Matthias Felleisen,
Robert Bruce Findler,
M. Felleisen,
2002,
ICFP '02.
Matthias Felleisen,
Carl Eastlund,
Rex L. Page,
2008,
FDPE '08.
Matthias Felleisen,
Cormac Flanagan,
1999,
J. Funct. Program..
Matthias Felleisen,
Matthew Flatt,
John Clements,
2001,
ESOP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Joe Marshall,
Matthias Felleisen,
Shriram Krishnamurthi,
2005,
ICFP '05.
Matthias Felleisen,
Philippa Gardner,
2013,
ESOP 2013.
Matthias Felleisen,
T. Stephen Strickland,
2009,
IFL.
Sam Tobin-Hochstadt,
Matthias Felleisen,
T. Stephen Strickland,
2009,
ESOP.
Matthias Felleisen,
Shriram Krishnamurthi,
M. Felleisen,
1998,
SIGSOFT '98/FSE-6.
Matthias Felleisen,
Stephen Chang,
M. Felleisen,
2012,
ESOP.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1996
.
Amr Sabry,
Matthias Felleisen,
Cormac Flanagan,
1993,
PLDI '93.
Matthias Felleisen,
David Van Horn,
Stephen Chang,
2010,
Trends in Functional Programming.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1995
.
Matthias Felleisen,
Robert Cartwright,
Ramarao Kanneganti,
1992,
REX Workshop.
Matthias Felleisen,
John Clements,
M. Felleisen,
2004,
TOPL.
Matthias Felleisen,
Carl Eastlund,
2009,
PADL.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1999,
Formal Syntax and Semantics of Java.
Matthias Felleisen,
Ryan Culpepper,
2010,
ICFP '10.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2006
.
Matthias Felleisen,
Daniel P. Friedman,
1996
.
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2009,
ACL2 '09.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
M. Felleisen,
2008,
SIGP.
Matthias Felleisen,
Robert Bruce Findler,
Philippe Meunier,
2006,
POPL '06.
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2015
.
Matthias Felleisen,
1987,
Comput. Lang..
Matthias Felleisen,
John Clements,
M. Felleisen,
2003,
ESOP.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2010,
ICFP '10.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Christos Dimoulas,
2012,
ESOP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2006,
APLAS.
Martin Hofmann,
Matthias Felleisen,
M. Hofmann,
2007,
POPL.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Shriram Krishnamurthi,
Yan-David Erlich,
1999,
ESOP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2015
.
Matthias Felleisen,
M. Felleisen,
1990,
ESOP.
Matthias Felleisen,
Robert Bruce Findler,
Max S. New,
2016,
ICFP.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2011,
ArXiv.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Daniel P. Friedman,
D. Friedman,
1989,
Theor. Comput. Sci..
Matthias Felleisen,
Robert Cartwright,
Pierre-Louis Curien,
1994,
Inf. Comput..
Ralph E. Johnson,
Matthias Felleisen,
Daniel P. Friedman,
1997
.
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2010,
Sci. Comput. Program..
Matthias Felleisen,
Matthew Flatt,
M. Felleisen,
1998,
PLDI.
Matthias Felleisen,
Robert Bruce Findler,
M. Felleisen,
2013,
SIGP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1995,
POPL '95.
Matthias Felleisen,
Daniel P. Friedman,
1987,
PARLE.
Matthias Felleisen,
Cormac Flanagan,
1999,
ACM Trans. Program. Lang. Syst..
Matthias Felleisen,
T. Stephen Strickland,
M. Felleisen,
2012
.
Matthias Felleisen,
2011,
GPCE '11.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Matthias Blume,
2004
.
Matthias Felleisen,
Robert Bruce Findler,
M. Felleisen,
2001,
OOPSLA '01.
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2015
.
Matthias Felleisen,
Mitchell Wand,
Daniel P. Friedman,
1988,
LISP and Functional Programming.
Matthias Felleisen,
Ryan Culpepper,
2004,
GPCE.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
1998,
SIGP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
M. Felleisen,
2002,
Advanced Functional Programming.
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2015
.
Matthias Felleisen,
Rex L. Page,
Dale Vaillancourt,
2006,
ACL2 '06.
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2003,
ESOP.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Shriram Krishnamurthi,
John Clements,
2001
.
Matthias Felleisen,
2002,
POPL '02.
Matthias Felleisen,
Daniel P. Friedman,
M. Felleisen,
1995
.
Matthias Felleisen,
Daniel P. Friedman,
Bruce F. Duba,
1986,
LFP '86.
Matthias Felleisen,
Daniel P. Friedman,
Bruce F. Duba,
1986,
LICS.
Matthias Felleisen,
Riccardo Pucella,
Christos Dimoulas,
2009,
PPDP '09.
Matthias Felleisen,
Kathi Fisler,
Shriram Krishnamurthi,
2015,
SIGCSE.
Matthias Felleisen,
Carl Eastlund,
Daniel P. Friedman,
2015
.
Matthias Felleisen,
Shriram Krishnamurthi,
Bruce F. Duba,
1999,
GCSE.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2015,
SNAPL.
Matthias Felleisen,
Cormac Flanagan,
1994
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004,
J. Funct. Program..
Matthias Felleisen,
Robert Bruce Findler,
Shriram Krishnamurthi,
2006
.
Matthias Felleisen,
Shriram Krishnamurthi,
2009,
CACM.
Sam Tobin-Hochstadt,
Matthias Felleisen,
M. Felleisen,
2006,
OOPSLA '06.
Matthias Felleisen,
Christos Dimoulas,
M. Felleisen,
2012
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
2004,
ECOOP.
Matthias Felleisen,
M. Felleisen,
1988,
LISP and Functional Programming.
Matthias Felleisen,
Robert Cartwright,
M. Felleisen,
1989,
PLDI '89.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2009
.
Matthias Felleisen,
Ben Greenman,
Christos Dimoulas,
2019,
Proc. ACM Program. Lang..
Matthias Felleisen,
Matthew Flatt,
1997,
Electron. Notes Theor. Comput. Sci..
Matthias Felleisen,
Michael Hanus,
Simon Thompson,
1999
.
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2009,
PPDP '09.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
2000,
SOEN.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
1997,
PLILP.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1998,
POPL '98.
Matthias Felleisen,
Robert Bruce Findler,
Christos Dimoulas,
2013,
OOPSLA.
Matthias Felleisen,
David Van Horn,
Conrad Barski,
2013
.
Matthias Felleisen,
2012
.
Matthias Felleisen,
Leif Andersen,
Stephen Chang,
2017,
Proc. ACM Program. Lang..
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Matthew Flatt,
2012,
PADL.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2001
.
Matthias Felleisen,
Robert Cartwright,
1999,
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131).
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2004
.
Matthias Felleisen,
Daniel P. Friedman,
1996
.
Matthias Felleisen,
Daniel P. Friedman,
1996
.
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2007,
GPCE '07.
Matthias Felleisen,
Robert Bruce Findler,
Cormac Flanagan,
2011,
POPL '11.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2015,
ECOOP.
Matthias Felleisen,
Ryan Culpepper,
M. Felleisen,
2006
.
Matthias Felleisen,
Ben Greenman,
Christos Dimoulas,
2021,
Art Sci. Eng. Program..
Matthias Felleisen,
Ben Greenman,
Christos Dimoulas,
2021,
Proc. ACM Program. Lang..
Matthias Felleisen,
Carl Eastlund,
Carl Eastlund,
2006
.
Matthias Felleisen,
Ryan Culpepper,
2003
.
Matthias Felleisen,
T. Stephen Strickland,
2009,
DLS '09.
Matthias Felleisen,
Kathryn E. Gray,
2007
.