"Types and Programming Languages: The Next Generation", Benjamin Pierce

輪講でTAPLを読んでいる関係で、型が結構熱い。
と言うことで、Benjamin Pierceさんの型に関するサーベイの発表スライド、"Types and Programming Languages: The Next Generation"を読んでみた。
自分みたいに型をちょこっとかじった程度でも、様々な型の目的とかこれまでの変遷がわかりやすくまとめられてて、とても楽しめます。
このスライドの中で出てくる論文をちょこちょこ読んでみようかな。