Collected Size Semantics for Functional Programs over Lists.

Olha Shkaravska Marko C. J. D. van Eekelen Alejandro Tamalet

Published in: IFL (2008)

Keyphrases

functional programs
term rewriting systems
logic programming
lazy evaluation
database
logic programs
data model
operational semantics