Amazon.co.jp: リストマニア最強の言語ＭＬのコンパイラツクール 大和谷 潔 Schemeによる記号処理入門 "まず、関数型言語のおもしろさを体験しよう" Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science) "schemeを使って、インタプリタ、コンパイラ、仮想マシン、制約プログラミングなどを解説。" 岩波講座 ソフトウェア科学〈〔基礎〕4〉プログラミング言語 "もっと強力な関数型言語のおもしろさを体験しよう" Elements of ML Programming, ML97 Edition "関数型プログラミングのすばらしさを実感したところで、「最強のプログラミング言語」(帯より)を勉強しよう" プログラミング言語StandardML入門 "私の指導教官もStandard
2007年度 「計算機科学実験及演習4(プログラム検証)」 実験資料 型推論によるプログラム解析
