2006-05-19から1日間の記事一覧

Type Theory and Functional Programming

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