Unification and ML Type Reconstruction
Computer Languages, Systems & Structures, 1991, Pages 444-478.
core fragmentml type reconstructiondifferent familycore ml expressionprincipal typeMore(7+)
We study the complexity of type reconstruction for a core fragment of ML with lambda abstraction, function application, and the polymorphic let declaration. We derive exponential upper and lower bounds on recognizing the typable core ML expressions. Our primary technical tool is unification of succinctly represented type expressions. Afte...More
PPT (Upload PPT)