Publications by Robert Harper

1993
Haines N, Biagioni E, Milnes BG, Harper R

1993 • ACM Transactions on Programming Languages and Systems • 15(2):211-252
HARPER R, MITCHELL JC

1993 • Higher-Order and Symbolic Computation • 6(3-4):361-379
Harper R, Lillibridge M

1993 • Journal of Functional Programming • 3(4):389-389
Appel AW, Harper R

1993 • Journal of Functional Programming • 3(4):465-484
Harper R, Duba BF, Macqueen D

1992
Harper R, Pfenning F

1992 • Journal of Symbolic Computation • 14(1):71-84
HARPER R

1992
Harper R, Lillibridge M

1992
Harper R, Lillibridge M

1992 • Journal of Functional Programming • 2(1):i-i
Appel AW, Harper R

1991 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 131-142
Harper R, Pierce B

1991 • Theoretical Computer Science • 89(1):107-136
HARPER R, POLLACK R

1991 163-173
Duba B, Harper R, MacQueen D

1990 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 341-354
Harper R, Mitchell JC, Moggi E

1989 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 389:250-272
HARPER R, SANNELLA D, TARLECKI A

1989 226-237
Harper R, Sannella D, Tarlecki A

1989 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 352:241-256
HARPER R, POLLACK R

1988 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 28-46
Mitchell JC, Harper R

1987 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 250:308-319
HARPER R, MILNER R, TOFTE M

1987 • undefined • 194-204
Harper R, Honsell F, Plotkin G

• Logical Methods in Computer Science • Volume 17, Issue 4:
Harper R, Cavallo E