TITLE: TAPL (Types and Programming Languages) - http://www.cis.upenn.edu/~bcpierce/tapl/ - 書評「型システム入門」 -- http://tanakh.jp/posts/2013-05-08-tapl.html * 関連 [#rel] - [[Programming]] - [[型システム>TypeSystem]]