A Functional Approach to Type Constraints of Generic Definitions.

Published in: ACM SIGPLAN Notices (1997)

Keyphrases

constraint satisfaction
search engine
high level
xml documents
multiple constraints
data sets
physical constraints
linear constraints
resource constraints
constrained optimization
constraint programming
domain specific
evolutionary algorithm
database systems
image segmentation
case study
machine learning