Bernhard Möller
An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language
ICALP, 1983.
@inproceedings{ICALP-1983-Moller, author = "Bernhard Möller", booktitle = "{Proceedings of the 10th Colloquium on Automata, Languages and Programming}", doi = "10.1007/BFb0036933", isbn = "3-540-12317-2", pages = "513--526", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language}", volume = 154, year = 1983, }