GOFFIN: Higher-Order Functions Meet Concurrent Constraints.

Manuel M. T. Chakravarty Yike Guo Martin Köhler

Published in: CCP (1995)

Keyphrases

constraint networks
higher order
constraint satisfaction
constraint programming
natural images
high order
information retrieval
mutual exclusion
data sets
databases
neural network
information systems
pairwise
conditional random fields
low order