2005年度「計算機科学実験及演習4(記号処理)」 実験資料 関数型プログラミング言語とインタプリタ 五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 工学部10号館1階142号室 e-mail: igarashi@kuis.kyoto-u.ac.jp
参考図書 Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002. Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999. igarashi@kuis.kyoto-u.ac.jp Last update on $Date: 2008-10-03 22:26:19 +0900 (Fri, 03 Oct 2008) $.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く