Solutions of Implication Constraints yield Type Inference
for Extended Algebraic Data Types presented by Martin.
- A Type and Semantic Preserving Translation from XDuce to ML
presented by Martin.
- XDuce extensions: Parametric polymorphism and higher-order functions
- Type Errors in HM + Implications by Jeremy.
Last modified: Wed Jun 1 15:21:46 GMT-8 2005