Publications by Robert Harper

2001 169-180
Xi H, Harper R

2001 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2000:86-101
Schneider FB, Morrisett G, Harper R

2001 • Higher-Order and Symbolic Computation • 14(4):309-356
Biagioni E, Harper R, Lee P

2001 217-228
Nanevski A, Blelloch G, Harper R

2001 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming ICFP • 217-228
Nanevski A, Blelloch G, Harper R

2001 • ACM Sigplan Notices • 36(10):217-228
Nanevski A, Blelloch G, Harper R

2001
Harper R, Pfenning F

2001 • Bulletin of Symbolic Logic • 7(2):213-236
Halpern JY, Harper R, Immerman N, Kolaitis PG, Vardi MY, Vianu V

2001 • Journal of Functional Programming • 11:441-466
Blelloch G, Burch H, Crary K, Harper R, Miller G, Walkington N

2001 • IBM Journal of Research and Development • 45(2):187-189
Harper RE

2001 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2071:V
Harper R

2001
Dreyer DR, Harper R, Crary K

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

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