An analysis of ML typability

DOI10.1145/174652.174659MaRDI QIDQ4299012zbMATH OpenOpenAlexFDO

Authors Assaf Kfoury, Jerzy Tiuryn, Paweł Urzyczyn

Publication date 13 February 1995

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/174652.174659

zbMATH Keywords

\(\mathbf{ML}\) typabilityacyclic semi-unification

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 125891
• The correctness of Newman's typability algorithm and some of its extensions
• scientific article; zbMATH DE number 1330133
• Haskell overloading is DEXPTIME-complete
• Typability in bounded dimension

Cited in

(14)

• Type reconstruction in finite rank fragments of the second-order -calculus
• Computing ML equality kinds using abstract interpretation
• Haskell overloading is DEXPTIME-complete
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
• Weakly complete problems are not rare
• Domain-free -calculus
• The power of non-determinism in higher-order implicit complexity. Characterising complexity classes using non-deterministic cons-free programming
• scientific article; zbMATH DE number 125891 (Why is no real title available?)
• scientific article; zbMATH DE number 1330133 (Why is no real title available?)
• Type inference for first-class messages with feature constraints
• Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
• The complexity ecology of parameters: An illustration using bounded max leaf number

This page was built for publication: An analysis of ML typability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4299012)