はてなブックマーク

Papers Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability. Runming Li and Robert Harper. Preprint, April, 2025. Amortized Analysis via Coalgebra. Harrison Grodin and Robert Harper. MFPS 2024 Slides. Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory. Yue Niu, Jonathan Sterling, and Robert Harper. MFPS 2024 Slides. Decalf: A Directed

Practical Foundations for Programming Languages Robert Harper Carnegie Mellon University Spring, 2011 [Version 1.8 of 07.22.2011.] Copyright c 2010 by Robert Harper. All Rights Reserved. The electronic version of this work is licensed under the Cre- ative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License. To view a copy of this license, visit http://creativecommons.o

Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS-96-177 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Peter Lee, Chair Robert Harper Daniel Sleator Robert Tarjan, Princeton University Copyright c 1996 Chris Okasaki This research was sponso