Login / Signup
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version).
G. A. Kavvos
Edward Morehouse
Daniel R. Licata
Norman Danner
Published in:
CoRR (2019)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
logic programs
information extraction
functional language
stochastic grammar
search space
knn
modal logic
functional programming
proof planning