Publications by Robert Harper

1999 • ACM Sigplan Notices • 34(5):50-63
Crary K, Harper R, Puri S

1998 • Journal of Logic and Computation • 8(1):5-31
Harper R, Pfenning F

1998 • ACM Sigplan Notices • 33(5):162-173
Cheng P, Harper R, Lee P

1998 162-173
Cheng P, Harper R, Lee P

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

1997
Milner R, Harper R, MacQueen D, Tofte M

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