• 追加された行はこの色です。
  • 削除された行はこの色です。
  • 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]]