Imperative Functional Programs that Explain their Work.

Wilmer Ricciotti Jan Stolarek Roly Perera James Cheney

Published in: CoRR (2017)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
functional language
high level
database
databases
knowledge base
software engineering
general purpose
intelligent agents
functional programming