equivalence law def / unification algorithm / local type inference algorithm / type inference algorithm / type inference algorithms / type systems / above law / linear-time unification algorithm / constraint solving algorithm / ambitious type systems / equivalent algorithms / constraint-based type inference algorithm / software systems / /
Position
type system designer / programmer / /
ProgrammingLanguage
Haskell / Objective Caml / ML / Standard ML / /
TVStation
Wand / /
Technology
2.1 Algorithms / constraint-based algorithm / linear-time unification algorithm / two equivalent algorithms / constraint-based type inference algorithm / type inference algorithm / underlying unification algorithm / constraint solving algorithm / type inference algorithms / unification algorithm / local type inference algorithm / flow control / /
A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005