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 (Summary) 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ω with control operators 1996 • Journal of Functional Programming • 6(3):393-418 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) Tarditi D, Stone C, Morrisett G, Harper R, Cheng 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
Journal Article Note on Conditional Compilation in Standard ML 1993 Haines N, Biagioni E, Milnes BG, Harper R
