Source of TAPL

TITLE: TAPL (Types and Programming Languages)

- http://www.cis.upenn.edu/~bcpierce/tapl/

- 書評「型システム入門」
--  http://tanakh.jp/posts/2013-05-08-tapl.html

* 関連 [#rel]

- [[型システム>TypeSystem]]