Programming in Standard ML
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
Practical Foundations for Programming Languages
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
Common Lisp the Language, 2nd Edition
CMU Artificial Intelligence Repository Common Lisp the Language, 2nd Edition This document contains the complete text of the book Common Lisp the Language, 2nd edition by Guy L. Steele, Thinking Machines, Inc. Digital Press 1990 paperbound 1029 pages ISBN 1-55558-041-6 $39.95 in html format. To use it, start with the Title Page or Table of Contents. A searchable index interface to the book is unde
t.dvi
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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.cs.cmu.edu/~rwh/smlbook/offline.pdf
http://www.cs.cmu.edu/People/rwh/introsml/