Binder aware recursion over well-scoped de Bruijn syntax.

Jonas Kaiser Steven Schäfer Kathrin Stark

Published in: CPP (2018)

Keyphrases

complex objects
deductive databases
graph structure
real time
databases
high level
transitive closure
machine learning
social networks
integrity constraints
context free grammars
rule language