Login / Signup
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version).
Martin Avanzini
Ugo Dal Lago
Georg Moser
Published in:
CoRR (2015)
Keyphrases
</>
higher order
functional programs
term rewriting systems
pairwise
lazy evaluation
logic programs
data mining
database
machine learning
high level
general purpose
deductive databases