Christian Codognet

Learn More
W e propose an extension of the ML language for handling constraints in finite domains, as originally proposed by the C H I P Constraint Logic Programming Language, following and edend ing techniques originating f r o m Constraint Satisfaction Problems. This makes i t possible for the programmer to declaratively combine in a single application both purely(More)