Publications by Robert Harper

2006 • ACM SIGACT News • 37(3):93-96
Crary K, Harper R

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3634:51-69
Murphy T, Crary K, Harper R

2005 • ACM Sigplan Notices • 40(9):240-240
Harper R

2005 240-240
Harper R

2005 • ACM Transactions on Computational Logic • 6(1):61-101
Harper R, Pfenning F

2005 71-78
Chlipala A, Petersen L, Harper R

2005 57-67
Spoonhower D, Blelloch G, Harper R

2004 • Proceedings - Symposium on Logic in Computer Science • 286-295
Murphy T, Crary K, Harper R, Pfenning F

2004 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 15:524-533
Acar UA, Blelloch GE, Harper R, Vittes JL, Woo SLM

2004 • Higher-Order and Symbolic Computation • 17(3):171-171
Basin D, Danvy O, Harper R

2004 • Proceedings - Symposium on Logic in Computer Science • 254-255
Harper R

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3142:1-2
Harper R

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3142:1-2
Harper R

2004 • ACM Sigplan Notices • 39(4):556-567
Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P

2004 • ACM Sigplan Notices • 39(4):554-555
Tarditi D, Morrisett G, Cheng P, Stone C

2003 • ACM Sigplan Notices • 38(1):236-249
Dreyer D, Crary K, Harper R

2003 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 236-249
Dreyer D, Crary K, Harper R

2003 • ACM Sigplan Notices • 38(1):172-184
Petersen L, Harper R, Crary K, Pfenning F

2003 • ACM Sigplan Notices • 38(1):172-184
Petersen L, Harper R, Crary K, Pfenning F

2003 213-225
Mandelbaum Y, Walker D, Harper R

2003 • ACM Sigplan Notices • 38(9):213-225
Mandelbaum Y, Walker D, Harper R

2003 • Theoretical Computer Science • 290(2):1175-1199
Colby C, Crary K, Harper R, Lee P, Pfenning F

2003 • Higher-Order and Symbolic Computation • 16(4):379-400
Nanevski A, Blelloch G, Harper R

2003 • Higher-Order and Symbolic Computation • 16(4):401-401
Harper R, Lillibridge M

2003 • ACM Sigplan Notices • 38(1):14-25
Acar UA, Blelloch GE, Harper R