2009-12-22から1日間の記事一覧
Type Checking with Open Type Functions ( http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html ) System F with Type Equality Coercions ( http://www.cse.unsw.edu.au/~chak/papers/SCPD07.html ) Complete and Decidable Type Inference for GADTs ( …