Haskell Type Constraints Unleashed.

Dominic A. Orchard Tom Schrijvers

Published in: FLOPS (2010)

Keyphrases

constrained optimization
real world
constraint satisfaction
artificial intelligence
programming language
constraint programming
constraint networks
constraint solving
real time
data sets
search engine
software engineering
linear programming
global constraints
multiple constraints