Unification and ML Type Reconstruction

    Computer Languages, Systems & Structures, 1991, Pages 444-478.

    Cited by: 72|Bibtex|Views12|
    EI
    Keywords:
    core fragmentml type reconstructiondifferent familycore ml expressionprincipal typeMore(7+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments