Type inference using constraint handling rules

DOI10.1016/S1571-0661(04)80346-3MaRDI QIDQ2841285zbMATH OpenFDO

Authors Sandra Alves, Mário Florido

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80346-3

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• HM(X) type inference is CLP(X) solving
• Type Processing by Constraint Reasoning
• Recent Advances in Constraints
• On termination, confluence and consistent CHR-based type inference
• scientific article; zbMATH DE number 1692901

Cites work

• scientific article; zbMATH DE number 1692901 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 1231454 (Why is no real title available?)
• Simplifying subtyping constraints
• Theory and practice of constraint handling rules
• Type inference using constraint handling rules
• Type Reconstruction for Type Classes

Cited in

(10)

• Explaining type inference
• Executable relational specifications of polymorphic type systems using Prolog
• Type inference using constraint handling rules
• On termination, confluence and consistent CHR-based type inference
• Understanding functional dependencies via constraint handling rules
• scientific article; zbMATH DE number 1231454 (Why is no real title available?)
• scientific article; zbMATH DE number 1953289 (Why is no real title available?)
• Constraint handling rules with binders, patterns and generic quantification
• Type Processing by Constraint Reasoning
• Static type inference for the Q language using constraint logic programming

This page was built for publication: Type inference using constraint handling rules

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