Con and semantics of constraint simpli rules. Constraints (1999)

by S Abdennadher, T Fruehwirth, H Meuss
Results 1 - 1 of 1

Type Classes and Constraint Handling Rules

by Kevin Glynn, Peter J. Stuckey, Martin Sulzmann - In First Workshop on Rule-Based Constraint Reasoning and Programming , 2000
"... Type classes are an elegant extension to traditional, Hindley-Milner based typing systems. ..."
Abstract - Cited by 14 (4 self) - Add to MetaCart
Type classes are an elegant extension to traditional, Hindley-Milner based typing systems.