The Unfolding Semantics of Functional Programs.

José María Rey Poza Julio Mariño-Carballo

Published in: CoRR (2017)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
logic programming
model theoretic
functional language
stochastic grammar
database
complex objects