A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
The ADT axioms are suitably constrained by a linear type system to make this translation possible. ... A methodology is described whereby a linear ADT may be rigorously encapsulated within a state monad. ... Acknowledgements Thanks to Phil Wadler and the anonymous referees for their helpful comments on previous versions of this paper. This research was supported in part by NSF under Grant CCR-9404786. ...doi:10.1145/263699.263708 dblp:conf/popl/ChenH97 fatcat:dlmznz35r5hsvlzkvffxc6hvwe