サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
猛暑に注意を
www.cs.cmu.edu/~rwh
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
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
Programming in Standard ML (WORKING DRAFT OF FEBRUARY 13, 2009.) Robert Harper Carnegie Mellon University Spring Semester, 2005 Copyright c 2008. All Rights Reserved. This work is licensed under the Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-nd/3.0/us/, or send a letter t
このページを最初にブックマークしてみませんか？
『Robert Harper's Home Page』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
