Implicit self-adjusting computation for purely functional programs.

Yan Chen Jana Dunfield Matthew A. Hammer Umut A. Acar

Published in: J. Funct. Program. (2014)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
general purpose
machine learning
stochastic grammar