Andrew D. Gordon
An Operational Semantics for I/O in a Lazy Functional Language
FPCA, 1993.
@inproceedings{FPCA-1993-Gordon, author = "Andrew D. Gordon", booktitle = "{Proceedings of the Sixth Conference on Functional Programming Languages and Computer Architecture}", isbn = "0-89791-595-X", pages = "136--145", publisher = "{ACM Press}", title = "{An Operational Semantics for I/O in a Lazy Functional Language}", year = 1993, }