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 • 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
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
Journal Article ON THE TYPE-STRUCTURE OF STANDARD ML 1993 • ACM Transactions on Programming Languages and Systems • 15(2):211-252 HARPER R, MITCHELL JC
Journal Article Polymorphic type assignment and CPS conversion 1993 • Higher-Order and Symbolic Computation • 6(3-4):361-379 Harper R, Lillibridge M
Journal Article Special Issue on ML 1993 • Journal of Functional Programming • 3(4):389-389 Appel AW, Harper R
Journal Article Typing first-class continuations in ML† 1993 • Journal of Functional Programming • 3(4):465-484 Harper R, Duba BF, Macqueen D
Journal Article A Module System for a Programming Language Based on the LF Logical Framework 1992 Harper R, Pfenning F
Journal Article CONSTRUCTING TYPE SYSTEMS OVER AN OPERATIONAL SEMANTICS 1992 • Journal of Symbolic Computation • 14(1):71-84 HARPER R
Journal Article Special Issue on ML 1992 • Journal of Functional Programming • 2(1):i-i Appel AW, Harper R
Conference A record calculus based on symmetric concatenation 1991 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 131-142 Harper R, Pierce B
Journal Article TYPE CHECKING WITH UNIVERSES 1991 • Theoretical Computer Science • 89(1):107-136 HARPER R, POLLACK R
Conference Higher-order modules and the phase distinction 1990 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 341-354 Harper R, Mitchell JC, Moggi E
Conference LOGIC REPRESENTATION IN LF 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
Conference TYPE CHECKING, UNIVERSE POLYMORPHISM, AND TYPICAL AMBIGUITY IN THE CALCULUS OF CONSTRUCTIONS 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
