The Correctness of Launchbury's Natural Semantics for Lazy Evaluation.

Joachim Breitner

Published in: Arch. Formal Proofs (2013)

Keyphrases

lazy evaluation
bayesian decision problems
sort merge
functional programs
database
database systems
conceptual model