M-Structures: Extending a Parallel, Non-strict, Functional Language with State.

Paul S. Barth Rishiyur S. Nikhil Arvind M-Structures: Extending a Parallel, Non-strict, Functional Language with State. 538-568 1991 conf/fpca/1991 FPCA db/conf/fpca/fpca1991.html#BarthNA91 https://doi.org/10.1007/3540543961_26