Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli. A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. In Implementations of Prolog. pages 309-326, 1984.
@incollection{BelliaDDLM84,
title = {A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language},
author = {Marco Bellia and Enrico Dameri and Pierpaolo Degano and Giorgio Levi and Maurizio Martelli},
year = {1984},
tags = {laziness, Prolog, modeling language, language modeling},
researchr = {https://researchr.org/publication/BelliaDDLM84},
cites = {0},
citedby = {0},
pages = {309-326},
booktitle = {Implementations of Prolog},
}