R. Harper

发表

David B. MacQueen, R. Milner, R. Harper, 1997 .

Robin Milner, Mads Tofte, Robert Harper, 1990 .

Karl Crary, Robert Harper, Derek Dreyer, 2003, POPL '03.

R. Harper, C. Stone, 2000 .

Robert Harper, David B. MacQueen, Bruce F. Duba, 1991, POPL '91.

Robert Harper, Benjamin C. Pierce, B. Pierce, 2000, ICFP.

Furio Honsell, Robert Harper, Gordon D. Plotkin, 1993, JACM.

P. Cheng, R. Harper, C. Stone, 2000 .

R. Harper, Karl Crary, Derek Dreyer, 2001 .

Guy E. Blelloch, Daniel Spoonhower, Phillip B. Gibbons, 2008, ICFP.

Guy E. Blelloch, Daniel Spoonhower, Robert Harper, 2010, Journal of Functional Programming.

Lee, Robert Harper, Eric C. Cooper, 1991 .

Umut A. Acar, Stefan K. Muller, R. Harper, 2021 .

R. Harper, Sungwoo Park, 2004 .

Stephan A Zdancewic, B. Pierce, R. Harper, 2006 .

R. Harper, F. Pfenning, P. Lee, 1998 .

Daniel R. Licata, R. Harper, 2015 .

Umut A. Acar, Stefan K. Muller, R. Harper, 2017 .

R. Harper, Joseph Tassarotti, 2017 .

R. Harper, C. Angiuli, 2018 .

Daniel R. Licata, C. University, W. University, 2016 .

Daniel R. Licata, R. Harper, 2011 .

Umut A. Acar, G. Blelloch, R. Harper, 2003 .

Peter Lee, Perry Cheng, Christopher A. Stone, 1996 .

G. Miller, H. Burch, R. Harper, 1999 .

R. Harper, F. Pfenning, 2001 .

R. Harper, Karl Crary, Daniel K. Lee, 2006 .

David B. MacQueen, R. Harper, F. Duba, 2022 .

Umut A. Acar, G. Blelloch, R. Harper, 2004 .

Guy E. Blelloch, Robert Harper, Umut A. Acar, 2002, POPL '02.

R. Harper, Karl Crary, Derek Dreyer, 2022 .

R. Harper, Daniel Spoonhower, Categoriesand SubjectDescriptors, 2022 .

B. Pierce, R. Harper, F. Pfenning, 2007 .

G. Blelloch, R. Harper, Daniel Spoonhower, 2007 .

Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.

Daniel R. Licata, R. Harper, N. Zeilberger, 2008 .

Robin Milner, Mads Tofte, Robert Harper, 1988 .

Benjamin C. Pierce, Robert Harper, B. Pierce, 2005 .

R. Harper, Kuen-Bang Hou, 2013 .

Robert Harper, Matthias Felleisen, Frank Pfenning, 2002 .

Derek Dreyer, Karl Crary, Robert Harper, 2003, POPL '03.

Robert Harper, David B. MacQueen, Bruce F. Duba, 1991, POPL '91.

R. Harper, Jonathan Sterling, 2018 .

Robin Milner, Mads Tofte, Robert Harper, 1987 .

Robin Milner, David MacQueen, David B. MacQueen, 1986 .

Thierry Coquand, Robert Harper, Daniel R. Licata, 2021, Mathematical Structures in Computer Science.

Robert Harper, Yusufu Shehu, R. Harper, 2020, NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium.

Robert Harper, Philip Tee, R. Harper, 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).

Nick Benton, Robert Harper, Kuen-Bang Hou, 2016, Journal of Functional Programming.

Peter Lee, Christopher A. Stone, Robert Harper, 1996 .

Robert Harper, J. Gregory Morrisett, R. Harper, 1995, POPL '95.

John C. Mitchell, Robert Harper, R. Harper, 1988, POPL '88.

Ignacio E. Grossmann, Ashish Agarwal, Robert Harper, 2006 .

Umut A. Acar, Robert Harper, William Duff, 2015 .

Peter Lee, Perry Cheng, Robert Harper, 1998, PLDI.

Guy E. Blelloch, Robert Harper, Umut A. Acar, 2006, PLDI '06.

Robert Harper, R. Harper, 2012 .

Frank Pfenning, Robert Harper, R. Harper, 1991 .

Neil Immerman, Joseph Y. Halpern, Phokion G. Kolaitis, 2001, Bulletin of Symbolic Logic.

Joseph Tassarotti, Robert Harper, R. Harper, 2018, Proc. ACM Program. Lang..

Robert Harper, John H. Reppy, John Reppy, 2020, Proc. ACM Program. Lang..

Karl Crary, Robert Harper, Tom Murphy, 2008 .

Bor-Yuh Evan Chang, Frank Pfenning, Karl Crary, 2002, GRID.

R. Harper, Jonathan Sterling, Yue Niu, 2021, Proc. ACM Program. Lang..

R. Harper, 2014 .

Mark Lillibridge, Robert Harper, R. Harper, 1994, POPL '94.

John C. Mitchell, Robert Harper, R. Harper, 1993, TOPL.

Benjamin C. Pierce, Robert Harper, B. Pierce, 1991, POPL '91.

Robert Harper, Benjamin C. Pierce, B. Pierce, 1990 .

Richard Statman, Roberto Virga, Peter Andrews, 1999 .

Robert Harper, R. Harper, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

Matthias Felleisen, Robert Harper, J. Gregory Morrisett, 1995, FPCA '95.

Robert Harper, Umut A. Acar, Stefan K. Muller, 2017, PLDI.

Robert Harper, Greg Morrisett, R. Harper, 1999 .

Peter Lee, Perry Cheng, Robert Harper, 2004, SIGP.

Karl Crary, Robert Harper, Derek Dreyer, 2005 .

Guy E. Blelloch, Robert Harper, Umut A. Acar, 2003, POPL '03.

Robert Harper, Daniel R. Licata, R. Harper, 2009, PLPV '09.

David Walker, Robert Harper, Yitzhak Mandelbaum, 2003, ICFP '03.

Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.

Robert Harper, Hongwei Xi, R. Harper, 2001, ICFP '01.

Frank Pfenning, Karl Crary, Robert Harper, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.

Robert Harper, Daniel R. Licata, R. Harper, 2008 .

Robert Harper, Daniel R. Licata, R. Harper, 2007 .

Fred B. Schneider, Robert Harper, J. Gregory Morrisett, 2001, Informatics.

Frank Pfenning, Robert Harper, Peter Lee, 1998 .

Robert Harper, R. Harper, 1992, J. Symb. Comput..

Guy E. Blelloch, Robert Harper, Umut A. Acar, 2002, POPL '02.

Karl Crary, Robert Harper, R. Harper, 2006, SIGA.

Robert Harper, Christopher A. Stone, R. Harper, 2000, Proof, Language, and Interaction.

John C. Mitchell, Robert Harper, R. Harper, 1999, Inf. Process. Lett..

John C. Mitchell, Robert Harper, Eugenio Moggi, 1989, POPL '90.

Guy E. Blelloch, Perry Cheng, Robert Harper, 2001 .

Manuel M. T. Chakravarty, Derek Dreyer, Gabriele Keller, 2007, POPL '07.

Robert Harper, R. Harper, 2014 .

Robert Harper, Christopher A. Stone, R. Harper, 2006, TOCL.

Guy E. Blelloch, Daniel Spoonhower, Robert Harper, 2009, SPAA '09.

Guy E. Blelloch, Robert Harper, G. Blelloch, 2015, Commun. ACM.

Guy E. Blelloch, Robert Harper, G. Blelloch, 2013, POPL.

Guy E. Blelloch, Daniel Spoonhower, Robert Harper, 2005, VEE '05.

Karl Crary, Robert Harper, Daniel K. Lee, 2007, POPL '07.

Robert Harper, Jonathan Sterling, R. Harper, 2018, LICS.

George Parisis, Luc Berthouze, Istvan Z. Kiss, 2019, IEEE Transactions on Network and Service Management.

E. Cavallo, R. Harper, R. Harper, 2020, CSL.

Robert Harper, Evan Cavallo, R. Harper, 2019, Proc. ACM Program. Lang..

Robert Harper, Carlo Angiuli, Todd Wilson, 2017, POPL.

Robert Harper, Daniel R. Licata, R. Harper, 2007, Journal of Functional Programming.

Frank Pfenning, Robert Harper, R. Harper, 2001, TOCL.

Robert Harper, R. Harper, Robert Harper, 1999, Journal of Functional Programming.

George Parisis, Luc Berthouze, Robert Harper, 2018, NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium.

Frank Pfenning, Robert Harper, R. Harper, 1998, J. Log. Comput..

Christopher A. Stone, P. Cheng, R. Harper, 1996, PLDI '96.

Robin Milner, Mads Tofte, Robert Harper, 1988 .

R. Harper, Yusufu Shehu, 2022, IEEE Transactions on Network and Service Management.

Robert Harper, Yusufu Shehu, R. Harper, 2021, 2021 IFIP/IEEE International Symposium on Integrated Network Management (IM).

Joseph Tassarotti, Robert Harper, R. Harper, 2018, ITP.

Karl Crary, Robert Harper, Tom Murphy VII, 2005, CSL.

Mark Lillibridge, Robert Harper, R. Harper, 1993, POPL '93.

Derek Dreyer, Perry Cheng, Karl Crary, 2003, TLDI '03.

Frank Pfenning, Karl Crary, Robert Harper, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

Mark Lillibridge, Robert Harper, R. Harper, 1993, LISP Symb. Comput..

Robert Harper, J. Gregory Morrisett, Yasuhiko Minamide, 1996, POPL '96.

Karl Crary, Robert Harper, Sidd Puri, 1999, PLDI '99.

Robert Harper, R. Harper, 1994, Inf. Process. Lett..

Robert Harper, Donald Sannella, Andrzej Tarlecki, 1994, Ann. Pure Appl. Log..

R. Harper, Jonathan Sterling, 2022, FSCD.

Robert Harper, Jonathan Sterling, R. Harper, 2020, J. ACM.

R. Harper, Harrison Grodin, 2023, ArXiv.

Adam Chlipala, Robert Harper, Leaf Petersen, 2005, TLDI '05.

Peter Lee, Robert Harper, Andrew Bernard, 1998, Types in Compilation.

Robert Harper, J. Gregory Morrisett, Christopher A. Stone, 1996, PLDI '96.

Robert Harper, Yue Niu, R. Harper, 2020, ArXiv.

Robert Harper, Robert Pollack, R. Harper, 1991, Theor. Comput. Sci..

G. Blelloch, G. Miller, H. Burch, 2001 .

Andrew W. Appel, Xavier Leroy, Karl Crary, 2000 .

Peter Lee, Robert Harper, R. Harper, 1994 .

Frank Pfenning, Robert Harper, Peter Lee, 1994 .

Frank Pfenning, Robert Harper, Peter Lee, 1994 .

Peter Lee, Edoardo Biagioni, Robert Harper, 2001, High. Order Symb. Comput..

Karl Crary, Robert Harper, R. Harper, 2007, Computation, Meaning, and Logic.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robert Harper, Philip Tee, R. Harper, 2020, Applied Network Science.

Robert Harper, Daniel R. Licata, R. Harper, 2011, MFPS.

Peter Lee, Robert Harper, R. Harper, 1994 .

Robert Harper, Carlo Angiuli, Todd Wilson, 2016, ArXiv.

Robert Harper, Steven Awodey, R. Harper, 2015, SIGL.

Robert Harper, Kuen-Bang Hou, R. Harper, 2015, ArXiv.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robert Harper, R. Harper, 1996, Inf. Process. Lett..

Robin Milner, Mads Tofte, Robert Harper, 1987, TAPSOFT, Vol.2.

John C. Mitchell, Robert Harper, R. Harper, 1997, SIGP.