Compiling with continuations, or without? whatever.

Youyou Cong Leo Osvald Grégory M. Essertel Tiark Rompf

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

databases
information retrieval
artificial intelligence
decomposable negation normal form
knowledge base
knowledge acquisition
data types