サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
ブラックフライデー
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 Recursive Logical Relations for Intuitionistic Linear Session Types. Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, and Yue Yao. Preprint, October, 2025. Mechanizing Synthetic Tait Computability in Istari. Runming Li, Yue Yao, and Robert Harper. To appear, CPP 2026. Abstraction Functions as Types. Harrison Grodin, Runming Li, and Robert Harper. To appear, ACM PoPL 2026. Canonicity fo
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ページを開く