HM(X) type inference is CLP(X) solving (Q5451969)
From MaRDI portal
scientific article; zbMATH DE number 5254932
Language | Label | Description | Also known as |
---|---|---|---|
English | HM(X) type inference is CLP(X) solving |
scientific article; zbMATH DE number 5254932 |
Statements
HM(X) type inference is CLP(X) solving (English)
0 references
27 March 2008
0 references
constraint handling rules
0 references
Chameleon system
0 references
0 references