Reasoning about I/O in Functional Programs.

Andrew Butterfield

Published in: CEFP (2011)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
proof planning
high level
database systems
logic programming
main memory