An operational semantics for I/O in a lazy functional language (1993)

by A D Gordon
Venue:In Proceedings of the Conference on Functional Programming Languages and Computer Architecture