Masami Hagiya
Masami Hagiya is a professor at Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo. He is in Room 411, Science Building No.7, Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, JAPAN. TEL: +81-3-5841-4113 (PHS) TEL: +81-3-5841-4115 (laboratory) E-
ip-leda-homepage.dvi
���� ���� ����� � ��� ��� �� ���� ��� ������ � � � ��� �� ��� ����� ���� �� ���� ��� � ���� ���� ������ � ���� � � ���� ���� !"#"$"%� � & ���� ' � � ��� (� ���� � �) ���� � ���� �**+ ,���� � ,���� � ���� $�� ����� �� $�� !�� � � - � � � � � ���� ,���� � . /����0�� �����1� ��(�� /����0�� �����1� �(�� /����0�� �����12 � �� ���(�� /����0�� �����1�� ��(�� /����0�� �����13��� 3(�� ' �� �#456�� ��� ���
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
Association for Computing Machinery
About ACM ACM, the world's largest educational and scientific computing society, delivers resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources. [Learn More about ACM...]
dblp: computer science bibliography
case-insensitive prefix search: default e.g., sig matches "SIGIR" as well as "signal"exact word search: append dollar sign ($) to word e.g., graph$ matches "graph", but not "graphics"boolean and: separate words by space e.g., codd modelboolean or: connect words by pipe symbol (|) e.g., graph|networkUpdate May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolea
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Research papers/Testing and correctness - HaskellWiki
