Type Inference using Constraint Handling Rules

DOI10.1016/S1571-0661(04)80346-3zbMath1268.68042MaRDI QIDQ2841285

Sandra Alves, Mário Florido

Publication date: 24 July 2013

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Executable Relational Specifications of Polymorphic Type Systems Using Prolog ⋮ Type Inference using Constraint Handling Rules

Cites Work

• Simplifying subtyping constraints
• Type Inference using Constraint Handling Rules
• Theory and practice of constraint handling rules
• Type Reconstruction for Type Classes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Type Inference using Constraint Handling Rules