G2Q: Haskell constraint solving.

William T. Hallahan Anton Xue Ruzica Piskac

Published in: Haskell@ICFP (2019)

Keyphrases

constraint solving
programming language
functional programming
constraint propagation

constraint logic programming
constraint satisfaction
constraint satisfaction problems
constraint solver

plagiarism detection
functional language
constraint programming
genetic algorithm

database systems
relational databases
search space
tree search