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 • 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 • 352:241-256 HARPER R, POLLACK R
Conference The essence of ML 1988 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 28-46 Mitchell JC, Harper R
Conference A TYPE DISCIPLINE FOR PROGRAM MODULES 1987 • Lecture Notes in Computer Science • 250:308-319 HARPER R, MILNER R, TOFTE M
Conference Internal Parametricity for Cubical Type Theory • Logical Methods in Computer Science • Volume 17, Issue 4: Harper R, Cavallo E
