The adequacy of Launchbury's natural semantics for lazy evaluation.

Joachim Breitner

Published in: J. Funct. Program. (2018)

Keyphrases

lazy evaluation
bayesian decision problems
sort merge
functional programs
data management
logic programming
conceptual model
general purpose