Implicit self-adjusting computation for purely functional programs.

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

Published in: ICFP (2011)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
artificial intelligence
database systems
object oriented