2006-05-19 Type Theory and Functional Programming http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ diggで上位に来てた。読むのも面倒なんで誰かこの内容について書いてないか期待。