Compiling with Continuations and LLVM.

Kavon Farvardin John H. Reppy

Published in: ML/OCAML (2016)

Keyphrases

database
database systems
expert systems
heuristic search
search space
np hard
relational databases
temporal constraints