Publications by <!-- THEME DEBUG --> <!-- THEME HOOK: 'views_view_field' --> <!-- 💡 BEGIN CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' --> Karl Crary

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 • 1281:458-490
Birkedal L, Harper R

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

1996 • ACM Computing Surveys • 28(4):1-6
Harper R, Mitchell JC

1996 • Journal of Functional Programming • 6(3):393-417
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 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 181-192
Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee 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 • Proceedings of the ACM Conference on LISP and Functional Programming • 7(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 • 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
Appel AW, Harper R

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

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