 |
コンピュータサイエンス入門―論理とプログラム意味論 (コンピュータサイエンス入門) | |
 |
プログラミングの基礎 (Computer Science Library 3) | |
 |
Smalltalkで学ぶオブジェクト指向プログラミングの本質 | |
 |
圏論による論理学―高階論理とトポス | |
 |
プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ | |
 |
Types and Programming Languages | |
 |
コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER) | |
 |
The Haskell School of Expression: Learning Functional Programming Through Multimedia | |
 |
プログラム変換 (知識情報処理シリーズ) | |
 |
プログラミング言語StandardML入門 |