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 Appel AW, Harper R
Journal Article Typing first-class continuations in ML 1993 • Journal of Functional Programming • 3(4):465-484 Duba BF, Macqueen D, Harper R
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 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 • Part F130193: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
