Unifying analytic and statically-typed quasiquotes.

Lionel Parreaux Antoine Voizard Amir Shaikhha Christoph E. Koch

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

Keyphrases

higher order
lambda calculus
knowledge base
high level
training data
optimal solution
data streams
association rules
xml documents
domain knowledge