年始Haskell論文読み会
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 ( http://research.microsoft.com/apps/pubs/default.aspx?id=79812 )
Type inference with constraints (http://research.microsoft.com/en-us/um/people/simonpj/papers/constraints/index.htm)
Understanding Functional Dependencies via Constraint Handling Rules(http://research.microsoft.com/en-us/um/people/simonpj/papers/fd-chr/)