THE OPERATIONAL SEMANTICS OF PURE FUNCTIONAL I/O
Yuan Hua, Sun Yong · Chinese Journal of Computers · 1998
The authors investigate three widely implemented I/O mechanisms in functional languages: Monad, Dialogue and CPS I/O in this paper. Using methods from Mimer' CCS, operational semantics of the three mechanisms are given. This paper adopts bisimulation equivalence as equality on the three kinds of I/O. The main result is semantics equivalence of the three mechanisms, generalizing an inform argument of Peyton Jones Wadier's.