An Operational Semantics for I/O in a Lazy Functional Language (1993)

by Andrew D. Gordon
Venue:in Proc Functional Programming Languages and Computer Architecture