Recurrence extraction for functional programs through call-by-push-value.

G. A. Kavvos Edward Morehouse Daniel R. Licata Norman Danner

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

Keyphrases

functional programs
term rewriting systems
lazy evaluation
stochastic grammar
logic programs
information extraction
functional language
machine learning
search algorithm
knn
object oriented
distributed database systems