Publications by Robert Harper

1998 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1473:53-77
Bernard A, Harper R, Lee P

1998
Harper R, Lee P, Pfenning F

1998
Crary K, Harper R, Cheng P, Petersen L, Stone C

1998 • Electronic Notes in Theoretical Computer Science • 10:230-241
Morrisett G, Harper R

1997 • ACM Sigplan Notices • 32(1):80-85
Harper R, Mitchell JC

1997 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1281:458-490
Birkedal L, Harper R

1996 • Information Processing Letters • 57(1):15-16
Harper R

1996 • ACM Computing Surveys • 28(4es):219
Harper R, Mitchell J

1996 • Journal of Functional Programming • 6(3):393-418
Harper R, Lillibridge M

1996 • ACM Sigplan Notices • 31(5):181-192
Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P

1996 • ACM Sigplan Notices • 31(5):181-192
Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P

1996
Tarditi D, Stone C, Morrisett G, Harper R, Cheng P

1996 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 271-283
Minamide Y, Morrisett G, Harper R

1995 66-77
Morrisett G, Felleisen M, Harper R

1995 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 130-141
Harper R, Morrisett G

1994 • Information Processing Letters • 51(4):201-206
HARPER R

1994 123-137
Harper R, Lillibridge M

1994
Harper R, Pfenning F, Lee P, Rollins E

1994 • ACM SIGPLAN Lisp Pointers • VII(3):55-64
Biagioni E, Harper R, Lee P, Milnes BG

1994 • ACM SIGPLAN Lisp Pointers • VII(3):55-64
Biagioni E, Harper R, Lee P, Milnes BG

1994 • Proceedings of the ACM Conference on Lisp and Functional Programming • 7(3):55-64
Biagioni E, Harper R, Lee P, Milnes BG

1994 • Annals of Pure and Applied Logic • 67(1-3):113-160
HARPER R, SANNELLA D, TARLECKI A

1993 • Journal of the ACM • 40(1):143-184
HARPER R, HONSELL F, PLOTKIN G

1993 • Journal of Functional Programming • 3(4):389-389
Jones N

1993 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 206-219
Harper R, Lillibridge M