2010-12-31から1日間の記事一覧
1.Types and Programming Languages ( http://www.cis.upenn.edu/~bcpierce/tapl/ ) TAPLは現実 2.Advanced Topics in Types and Programming Languages ( http://www.cis.upenn.edu/~bcpierce/attapl/resources.html ) Chap8 , Chap10は読んだ方が身の為 3.…