Publications by Robert Harper

2000 • ACM Sigplan Notices • 35(9):130
Harper R, Pierce BC

2000 • ACM Sigplan Notices • 35(9):130
Harper R, Pierce BC

2000 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 214-227
Stone CA, Harper R

2000
Petersen L, Cheng P, Harper R, Stone C

2000 • Journal of Functional Programming • 10(1):135-136
Despeyroux J, Harper R

1999 406-419 vol.1
Crary K, Harper R, Lee P, Pfenning F

1999 • Information Processing Letters • 70(1):1-5
Harper R, Mitchell JC

1999 • Journal of Functional Programming • 9(4):463-469
HARPER R

1999 • Information and Computation • 155(1-2):3-63
Birkedal L, Harper R

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

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 Computing Surveys • 28(4es):195
Harper R, Lee P