Conference How generic is a generic back end? Using MLRISC as a back end for the TIL Compiler 1998 • Lecture Notes in Computer Science • 1473:53-77 Bernard A, Harper R, Lee P
Journal Article The Fox Project: Advanced Language Technology for Extensible Systems 1998 Harper R, Lee P, Pfenning F
Journal Article Transparent and Opaque Interpretations of Datatypes 1998 Crary K, Harper R, Cheng P, Petersen L, Stone C
Conference Typed closure conversion for recursively-defined functions (extended abstract) 1998 • Electronic Notes in Theoretical Computer Science • 10:230-241 Morrisett G, Harper R
Conference Relational interpretations of recursive types in an operational setting 1997 • Lecture Notes in Computer Science • 1281:458-490 Birkedal L, Harper R
Journal Article A note on ''a simplified account of polymorphic references'' 1996 • Information Processing Letters • 57(1):15-16 Harper R
Journal Article Operational interpretations of an extension of F<inf>ω</inf> with control operators 1996 • Journal of Functional Programming • 6(3):393-417 Harper R, Lillibridge M
Journal Article TIL: A type-directed optimizing compiler for ML 1996 • ACM Sigplan Notices • 31(5):181-192 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P
Conference TIL: a type-directed optimizing compiler for ML 1996 • ACM Sigplan Notices • 31(5):181-192 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P
Conference TIL: a type-directed optimizing compiler for ML 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
Conference Typed closure conversion 1996 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 271-283 Minamide Y, Morrisett G, Harper R
Conference Compiling polymorphism using intensional type analysis 1995 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 130-141 Harper R, Morrisett G
Journal Article A SIMPLIFIED ACCOUNT OF POLYMORPHIC REFERENCES 1994 • Information Processing Letters • 51(4):201-206 HARPER R
Conference A type-theoretic approach to higher-order modules with sharing 1994 123-137 Harper R, Lillibridge M
Journal Article Incremental Recompilation for Standard ML of New Jersey 1994 Harper R, Pfenning F, Lee P, Rollins E
Journal Article Signatures for a network protocol stack 1994 • ACM SIGPLAN Lisp Pointers • VII(3):55-64 Biagioni E, Harper R, Lee P, Milnes BG
Conference Signatures for a network protocol stack: a systems application of standard ML 1994 • Proceedings of the ACM Conference on LISP and Functional Programming • 7(3):55-64 Biagioni E, Harper R, Lee P, Milnes BG
Conference Signatures for a network protocol stack: a systems application of Standard ML 1994 • ACM SIGPLAN Lisp Pointers • VII(3):55-64 Biagioni E, Harper R, Lee P, Milnes BG
Journal Article STRUCTURED THEORY PRESENTATIONS AND LOGIC REPRESENTATIONS 1994 • Annals of Pure and Applied Logic • 67(1-3):113-160 HARPER R, SANNELLA D, TARLECKI A
Journal Article A FRAMEWORK FOR DEFINING LOGICS 1993 • Journal of the ACM • 40(1):143-184 HARPER R, HONSELL F, PLOTKIN G
Conference Explicit polymorphism and CPS conversion 1993 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 206-219 Harper R, Lillibridge M
