Type Classes and Constraint Handling Rules (2000)
by
Kevin Glynn
,
Peter J. Stuckey
,
Martin Sulzmann
| Venue: | In First Workshop on Rule-Based Constraint Reasoning and Programming |
| Citations: | 14 - 4 self |
Document Versions
| Type Classes and Constraint Handling Rules –Kevin Glynn, Peter J. Stuckey, Martin Sulzmann — 2000 — In First Workshop on Rule-Based Constraint Reasoning and Programming |
| Type Classes and Constraint Handling Rules –Kevin Glynn, Peter J. Stuckey, Martin Sulzmann — 2000 — In First Workshop on Rule-Based Constraint Reasoning and Programming |
