@article {10.3844/jcssp.2008.21.29,
article_type = {journal},
title = {Semantics of Lazy Evaluation using the Two-Level Grammar},
author = {AbouGhaly, Mahmoud A. and Daoud, Sameh S. and Taha, Azza A. and Aly, Salwa M.},
volume = {4},
number = {1},
year = {2008},
month = {Jan},
pages = {21-29},
doi = {10.3844/jcssp.2008.21.29},
url = {https://thescipub.com/abstract/jcssp.2008.21.29},
abstract = {We have formalized the semantics of lazy evaluation for the lambda calculus using the two-level grammar formalism. The resulting semantics enjoys several properties, e.g., there is a sharing in the recursive computation, there is no α conversion, the heap is automatically reclaimed, an attempt to evaluate an argument is done at most once and there is a sharing in the evaluation of partial application to functions. },
journal = {Journal of Computer Science},
publisher = {Science Publications}
}