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 application/pdf.
Filters
Rolling your own mutable ADT---a connection between linear types and monads
1997
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97
Preserved Fulltext
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