Talk Schedule

• Solutions of Implication Constraints yield Type Inference for Extended Algebraic Data Types presented by Martin. Slides
• A Type and Semantic Preserving Translation from XDuce to ML presented by Martin. Slides
• XDuce extensions: Parametric polymorphism and higher-order functions by Kenny. Slides
• Type Errors in HM + Implications by Jeremy. Slides