Imperative functional programs that explain their work.

Wilmer Ricciotti Jan Stolarek Roly Perera James Cheney

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

Keyphrases

functional programs
term rewriting systems
lazy evaluation
functional language
logic programs
stochastic grammar
databases
data mining
multi agent