Active Bibliography

12 Flexible types: robust type inference for first-class polymorphism – Daan Leijen - 2009
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
unknown title – unknown authors
unknown title – unknown authors
Recasting ML F – Didier Le Botlan, Didier Rémy, Thème Sym, Didier Le Botlan, Didier Rémy, Thème Sym Systèmes Symboliques, Projet Gallium - 2008
FPH: First-class Polymorphism for Haskell Declarative, constraint-free type inference for impredicative polymorphism – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
Recasting ML F – Thème Sym, Didier Le Botlan, Didier Rémy, Didier Le Botlan, Didier Rémy, Projet Gallium
FPH: First-class polymorphism for Haskell -- Extended Version – Dimitrios Vytiniotis - 2008
This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis papers/275Boxy Types: Inference for Higher-Rank Types and – Dimitrios Vytiniotis, Stephanie C. Weirich, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones