Robert Harper
发表
Karl Crary,
Robert Harper,
R. Harper,
2007,
Computation, Meaning, and Logic.
Karl Crary,
Robert Harper,
Tom Murphy VII,
2005,
CSL.
Robert Harper,
Christopher A. Stone,
2022
.
Joseph Tassarotti,
Robert Harper,
Ralf Jung,
2017,
ESOP.
Robert Harper,
Anupam Datta,
Kumar Avijit,
2010,
TLDI '10.
Frank Pfenning,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Robert Harper,
Carlo Angiuli,
Evan Cavallo,
2018,
LFMTP@FSCD.
Peter Lee,
Edoardo Biagioni,
Robert Harper,
2001,
High. Order Symb. Comput..
Robin Milner,
Mads Tofte,
Robert Harper,
1990
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Robert Harper,
Jonathan Sterling,
R. Harper,
2018,
LICS.
Daniel Spoonhower,
Karl Crary,
Robert Harper,
2006
.
Robert Harper,
2018,
Theor. Comput. Sci..
Nick Benton,
Robert Harper,
Kuen-Bang Hou,
2015
.
Joseph Tassarotti,
Robert Harper,
R. Harper,
2018,
ITP.
Robert Harper,
2016
.
Robert Harper,
Donald Sannella,
Andrzej Tarlecki,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Robert Harper,
Carlo Angiuli,
Kuen-Bang Hou,
2018,
CSL.
Robert Harper,
Sung-Woo Park,
2004
.
Matthias Felleisen,
Robert Harper,
J. Gregory Morrisett,
1995,
FPCA '95.
David Walker,
Robert Harper,
Yitzhak Mandelbaum,
2003,
ACM SIGPLAN Notices.
Frank Pfenning,
Karl Crary,
Robert Harper,
2004,
LICS 2004.
Robert Harper,
Daniel R. Licata,
2009,
ICFP.
Robert Harper,
Greg Morrisett,
R. Harper,
1999
.
John C. Mitchell,
Robert Harper,
1996,
CSUR.
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2006,
Electron. Notes Theor. Comput. Sci..
Fred B. Schneider,
Robert Harper,
J. Gregory Morrisett,
2001,
Informatics.
Andrew D. Gordon,
Robert Harper,
John Harrison,
2011,
POPL '11.
Robert Harper,
Daniel R. Licata,
R. Harper,
2011,
MFPS.
Robert Harper,
Christopher A. Stone,
R. Harper,
2006,
TOCL.
Robert Harper,
J. Gregory Morrisett,
R. Harper,
1995,
POPL '95.
Robert Harper,
Daniel R. Licata,
R. Harper,
2009,
PLPV '09.
Robert Harper,
Kuen-Bang Hou,
2016,
TYPES.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Guy E. Blelloch,
Robert Harper,
G. Blelloch,
2013,
POPL.
Robert Harper,
R. Harper,
2014
.
Benjamin C. Pierce,
Robert Harper,
2000,
ICFP '00.
Guy E. Blelloch,
Robert Harper,
Aleksandar Nanevski,
2001,
ICFP '01.
Robert Harper,
Hongwei Xi,
R. Harper,
2001,
ICFP '01.
Furio Honsell,
Robert Harper,
Gordon D. Plotkin,
1993,
JACM.
Noam Zeilberger,
Robert Harper,
Daniel R. Licata,
2009,
TLCA.
Frank Pfenning,
Robert Harper,
R. Harper,
1991
.
Noam Zeilberger,
Robert Harper,
Daniel R. Licata,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Karl Crary,
Robert Harper,
Daniel K. Lee,
2007,
POPL '07.
James R. Larus,
Stephen N. Freund,
Eric Allen,
2008,
SIGP.
Robert Harper,
1993
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Adam Chlipala,
Robert Harper,
Leaf Petersen,
2005,
TLDI '05.
Robert Harper,
Carlo Angiuli,
Todd Wilson,
2016,
ArXiv.
Guy E. Blelloch,
Robert Harper,
2015
.
Mark Lillibridge,
Robert Harper,
R. Harper,
1993,
LISP Symb. Comput..
Guy E. Blelloch,
Daniel Spoonhower,
Robert Harper,
2005,
VEE '05.
Robert Harper,
Daniel R. Licata,
R. Harper,
2007,
Journal of Functional Programming.
Karl Crary,
Robert Harper,
R. Harper,
2006,
SIGA.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Bor-Yuh Evan Chang,
Frank Pfenning,
Karl Crary,
2002,
GRID.
Robert Harper,
R. Harper,
Robert Harper,
1999,
Journal of Functional Programming.
Robert Harper,
Christopher A. Stone,
R. Harper,
2000,
Proof, Language, and Interaction.
Mark Lillibridge,
Robert Harper,
R. Harper,
1994,
POPL '94.
Frank Pfenning,
Robert Harper,
Peter Lee,
1998
.
Peter Lee,
Perry Cheng,
Robert Harper,
1998,
PLDI.
Robert Harper,
M. Ed Jernigan,
2004,
2004 IEEE International Conference on Acoustics, Speech, and Signal Processing.
Robert Harper,
Robert Pollack,
R. Harper,
1991,
Theor. Comput. Sci..
Peter Lee,
Robert Harper,
R. Harper,
1996,
CSUR.
Neil Immerman,
Joseph Y. Halpern,
Phokion G. Kolaitis,
2001,
Bulletin of Symbolic Logic.
Olivier Danvy,
David A. Basin,
Robert Harper,
2004,
High. Order Symb. Comput..
Robert Harper,
J. Gregory Morrisett,
Yasuhiko Minamide,
1996,
POPL '96.
Frank Pfenning,
Karl Crary,
Robert Harper,
2000,
Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Peter Lee,
Edoardo Biagioni,
Robert Harper,
1994,
LFP '94.
Robert Harper,
2004,
LICS.
Robert Harper,
Umut A. Acar,
Stefan K. Muller,
2018,
Proc. ACM Program. Lang..
Robert Harper,
Daniel R. Licata,
2010,
LFMTP.
Robert Harper,
2012
.
Robert Harper,
Kuen-Bang Hou,
R. Harper,
2015,
ArXiv.
Robert Harper,
Carlo Angiuli,
2016,
ArXiv.
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft)
Robert Harper,
Robert Pollack,
R. Harper,
1989,
TAPSOFT, Vol.2.
Lars Birkedal,
Robert Harper,
1997,
TACS.
Robert Harper,
2005,
ICFP '05.
Frank Pfenning,
Karl Crary,
Robert Harper,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
John C. Mitchell,
Robert Harper,
Eugenio Moggi,
1989,
POPL '90.
Robert Harper,
Evan Cavallo,
R. Harper,
2019,
Proc. ACM Program. Lang..
Robin Milner,
Mads Tofte,
Robert Harper,
1988
.
Robert Harper,
R. Harper,
1994,
Inf. Process. Lett..
Robert Harper,
R. Harper,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
John C. Mitchell,
Robert Harper,
R. Harper,
1999,
Inf. Process. Lett..
Robert Harper,
R. Harper,
2016
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Robert Harper,
Donald Sannella,
Andrzej Tarlecki,
1989,
Category Theory and Computer Science.
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2006,
PLDI '06.
Robin Milner,
Mads Tofte,
Robert Harper,
1987
.
Robert Harper,
2008,
SIGP.
Robert Harper,
David B. MacQueen,
Bruce F. Duba,
1991,
POPL '91.
Robert Harper,
R. Harper,
1992,
J. Symb. Comput..
Nick Benton,
Robert Harper,
Kuen-Bang Hou,
2016,
Journal of Functional Programming.
Manuel M. T. Chakravarty,
Derek Dreyer,
Gabriele Keller,
2007,
POPL '07.
Mark Lillibridge,
Robert Harper,
R. Harper,
1993,
POPL '93.
Robin Milner,
Mads Tofte,
Robert Harper,
1988
.
Kim B. Bruce,
Robert Harper,
Kathleen Fisher,
2009,
SIGCSE '09.
Frank Pfenning,
Robert Harper,
Peter Lee,
1994
.
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2002,
POPL '02.
Joseph Tassarotti,
Robert Harper,
R. Harper,
2018,
Proc. ACM Program. Lang..
Karl Crary,
Robert Harper,
Tom Murphy VII,
2007,
TGC.
Guy E. Blelloch,
Gary L. Miller,
Karl Crary,
2001,
J. Funct. Program..
Robert Harper,
Daniel R. Licata,
R. Harper,
2008
.
Guy E. Blelloch,
Robert Harper,
Aleksandar Nanevski,
2003,
High. Order Symb. Comput..
John C. Mitchell,
Robert Harper,
1997,
SIGP.
Benjamin C. Pierce,
Robert Harper,
B. Pierce,
1991,
POPL '91.
David Walker,
Robert Harper,
Yitzhak Mandelbaum,
2003,
ICFP '03.
Frank Pfenning,
Robert Harper,
Peter Lee,
1994
.
Robert Harper,
2005
.
Frank Pfenning,
Robert Harper,
R. Harper,
1998,
J. Log. Comput..
Derek Dreyer,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Robert Harper,
2012
.
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2003,
POPL.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Guy E. Blelloch,
Daniel Spoonhower,
Robert Harper,
2010,
Journal of Functional Programming.
Peter Lee,
Frank Pfenning,
Karl Crary,
2003,
Theor. Comput. Sci..
Frank Pfenning,
Robert Harper,
R. Harper,
2001,
TOCL.
Guy E. Blelloch,
Daniel Spoonhower,
Robert Harper,
2008,
ICFP.
Karl Crary,
Robert Harper,
Derek Dreyer,
2005
.
Robert Harper,
Donald Sannella,
Andrzej Tarlecki,
1994,
Ann. Pure Appl. Log..
Robert Harper,
Daniel R. Licata,
2012,
POPL '12.
Robert Harper,
J. Gregory Morrisett,
Christopher A. Stone,
1996,
PLDI '96.
John C. Mitchell,
Robert Harper,
R. Harper,
1988,
POPL '88.
Robert Harper,
Carlo Angiuli,
Todd Wilson,
2017,
POPL.
Robert Harper,
Daniel R. Licata,
R. Harper,
2007
.
Robert Harper,
Carlo Angiuli,
Kuen-Bang Hou,
2017,
ArXiv.
Robert Harper,
Daniel R. Licata,
Carlo Angiuli,
2014,
ICFP.
Guy E. Blelloch,
Daniel Spoonhower,
Robert Harper,
2009,
SPAA '09.
Lars Birkedal,
Robert Harper,
1999,
Inf. Comput..
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2003,
POPL '03.
Robert Harper,
Jonathan Sterling,
2017,
ArXiv.
John C. Mitchell,
Robert Harper,
R. Harper,
1993,
TOPL.
Robert Harper,
Evan Cavallo,
2018,
ArXiv.
Derek Dreyer,
Perry Cheng,
Karl Crary,
2003,
TLDI '03.
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2004,
SODA '04.
Frank Pfenning,
Karl Crary,
Robert Harper,
2001
.
Guy E. Blelloch,
Robert Harper,
G. Blelloch,
2015,
Commun. ACM.
Dan Grossman,
David Walker,
Yannis Smaragdakis,
2010,
SIGP.
Karl Crary,
Robert Harper,
Derek Dreyer,
2003,
POPL '03.
Guy E. Blelloch,
Robert Harper,
Ananya Kumar,
2017,
POPL.
Robert Harper,
Steven Awodey,
R. Harper,
2015,
SIGL.
Karl Crary,
Robert Harper,
Tom Murphy VII,
2006,
ML '06.
Robert Harper,
Evan Cavallo,
2019,
ArXiv.
Karl Crary,
Robert Harper,
Sidd Puri,
1999,
PLDI '99.
Robert Harper,
Daniel R. Licata,
Carlo Angiuli,
2016,
J. Funct. Program..
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Peter Lee,
Robert Harper,
Andrew Bernard,
1998,
Types in Compilation.
Frank Pfenning,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Robert Harper,
J. Gregory Morrisett,
1997,
Electron. Notes Theor. Comput. Sci..
Andrew W. Appel,
Robert Harper,
1992
.
Robert Harper,
2009,
J. Funct. Program..
Karl Crary,
Robert Harper,
2005
.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Karl Crary,
Robert Harper,
Tom Murphy,
2008
.
Robin Milner,
Mads Tofte,
Robert Harper,
1987,
TAPSOFT, Vol.2.
Robin Milner,
Mads Tofte,
Robert Harper,
1997
.
Karl Crary,
Robert Harper,
2006,
ArXiv.
Guy E. Blelloch,
Robert Harper,
Umut A. Acar,
2002,
POPL '02.
Peter Lee,
Perry Cheng,
Robert Harper,
2004,
SIGP.
Robert Harper,
David B. MacQueen,
Bruce F. Duba,
1991,
POPL '91.
Robert Harper,
Umut A. Acar,
Stefan K. Muller,
2017,
PLDI.
Robert Harper,
Jonathan Sterling,
R. Harper,
2020,
J. ACM.
Robert Harper,
Yusufu Shehu,
R. Harper,
2021,
2021 IFIP/IEEE International Symposium on Integrated Network Management (IM).
Robert Harper,
2021,
ArXiv.
Robert Harper,
Jonathan Sterling,
Yue Niu,
2022,
Proceedings of the ACM on Programming Languages.
Robert Harper,
Umut A. Acar,
Stefan K. Muller,
2017,
PLDI.
Robert Harper,
Christopher A. Stone,
1997
.
Thierry Coquand,
Robert Harper,
Daniel R. Licata,
2021,
Mathematical Structures in Computer Science.
Guy E. Blelloch,
Robert Harper,
S. A. Seshia,
2000
.
Peter Lee,
Edoardo Biagioni,
Robert Harper,
1994
.
Thierry Coquand,
Robert Harper,
Daniel R. Licata,
2017
.