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