2010-02-09から1日間の記事一覧
CACMのType Theory Comes of Age HTML : http://cacm.acm.org/magazines/2010/2/69367-type-theory-comes-of-age/fulltext PDF : http://cacm.acm.org/magazines/2010/2/69367-type-theory-comes-of-age/pdf を丁度先週ぐらいに読みました。話の内容としては…
CACMのType Theory Comes of Age HTML : http://cacm.acm.org/magazines/2010/2/69367-type-theory-comes-of-age/fulltext PDF : http://cacm.acm.org/magazines/2010/2/69367-type-theory-comes-of-age/pdf を丁度先週ぐらいに読みました。話の内容としては…