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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 250:308-319 HARPER R, MILNER R, TOFTE M
Journal Article Amortized Analysis via Coalgebra • Electronic Notes in Theoretical Informatics and Computer Science • Volume 4 - Proceedings of MFPS XL: Grodin H, Harper R
Journal Article Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory • Electronic Notes in Theoretical Informatics and Computer Science • Volume 4 - Proceedings of MFPS XL: Niu Y, Sterling J, Harper R
Conference Internal Parametricity for Cubical Type Theory • Logical Methods in Computer Science • Volume 17, Issue 4: Harper R, Cavallo E
