𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Type Inference using Constraint Handling Rules

✍ Scribed by Sandra Alves; Mário Florido

Book ID
108498247
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
334 KB
Volume
64
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistic Constraint Handling Rules
Probabilistic Constraint Handling Rules
✍ Thom Frühwirth; Alessandra Di Pierro; Herbert Wiklicky 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 874 KB
Theory and practice of constraint handli
Theory and practice of constraint handling rules
✍ Thom Frühwirth 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 343 KB

Constraint Handling Rules (CHR) are our proposal to allow more ¯exibility and application-oriented customization of constraint systems. CHR are a declarative language extension especially designed for writing user-de®ned constraints. CHR are essentially a committedchoice language consisting of multi