型システム入門 －プログラミング言語と型の理論－
Benjamin C. Pierce
オーム社(2013/03/26)
値段:￥ 7,140
の日本語訳が出ました。
Types and Programming Languages
Benjamin C. Pierce
MIT Press(2002/02/01)
の訳書。
2013/3/23 名古屋（@エイチーム）並列/並行基礎勉強会
で
訳者の一人の今井敬吾さんがbisimulationについて発表されていました。
訳者の一人の今井宜洋さんも参加されていて、ミニサイン会があったような....
訳者の方々とは、さまざまな勉強会、研究会でお会いするので、
読んだ所までの記録を取り、ご指導いただくための資料とさせていただきます。
なお、
今井敬吾さん、
今井宜洋さんは、
ITプランニング にお勤めです。
今井宜洋さんは proof cafeを主宰されていて、過半参加させていただいています。
1. 著者
Benjamin C. Perce
1.1 著作
Software Foundations 上記proofcafeで輪講しています。
Advanced Topics in Types and Programming Languages @amazon.co.jp
Basic Category Theory for Computer Scientists @amazon.co.jp
2. 訳者
住井英二郎
遠藤侑介
酒井政裕
今井敬吾
黒木祐介
今井宜洋
才川隆文
今井健男
3. 目次
日本語版に寄せて
監訳者序文
日本語の参考文献紹介
プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト)
五十嵐 淳
サイエンス社(2011/07)
値段:￥ 1,943
プログラミング言語の基礎理論 (情報数学講座)
大堀 淳
共立出版(1997/02)
値段:￥ 3,780
論理と計算のしくみ
萩谷 昌己, 西崎 真也
岩波書店(2007/06/27)
値段:￥ 3,780
プログラム意味論 (情報数学講座)
横内 寛文
共立出版(1994/06)
値段:￥ 3,885
プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~
五十嵐 淳
技術評論社(2007/11/29)
値段:￥ 2,919
プログラミングの基礎 (Computer Science Library)
浅井 健一
サイエンス社(2007/03)
値段:￥ 2,415
Software Foundationの和訳
4 序文
想定読者
プログラミング言語と型理論を専門とする大学院生および研究者
プログラミング言語理論の鍵となる概念に触れたい計算機科学の全分野の大学院生および習熟度の高い学部生
背景知識
数学、特に離散数学、アルゴリズム、初頭的な論理学に関する学部の授業に習熟している。
一つの高階関数型に対応したプログラミング言語(Scheme, ML, Haskellなど）とプログラミング言語およびコンパイラの基礎的な概念（抽象構文、BNF文法、評価、抽象機械など）に慣れている。
教科書
Essentials of Programming Languages
Daniel P. Friedman, Mitchell Wand
The MIT Press(2008/04/18)
値段:￥ 7,069
Programming Language Pragmatics, Third Edition
Michael L. Scott
Morgan Kaufmann(2009/04/06)
値段:￥ 7,025
具体的な実装
OCamlで書いている。
OCamlの事前知識があると読み易い。
The Functional Approach to Programming
Guy Cousineau, Michel Mauny
Cambridge University Press(1998/10/29)
値段:￥ 7,567
OCamlの配布物
および
Ocaml.org
Standard MLに慣れている読者はOCamlのコード断片を読むのは難しくない。
ML for the Working Programmer
Larry C. Paulson
Cambridge University Press(1996/06/28)
値段:￥ 7,766
Elements of ML Programming, ML97 Edition
Jeffrey D. Ullman
Prentice Hall(1997/12/22)
値段:￥ 7,965
授業の進め方
Communicating and Mobile Systems: The Pi Calculus
Robin Milner
Cambridge University Press(1999/06/15)
値段:￥ 5,081
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
Glynn Winskel
The MIT Press(1993/02/05)
値段:￥ 4,978
電子情報
www.cis.upenn.edu/=bcpierce/tapl
Ocaml入手
Tpes Forum
第一章 はじめに
改善日誌(researcmap)
@kaizen_nagoya
改善の本棚
改善日誌(ameba)