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

Joachim Breitner

Published in: CoRR (2014)

Keyphrases

lazy evaluation
bayesian decision problems
sort merge
functional programs
databases
object oriented
conceptual model