1 Hit in 5.6 sec

Rolling your own mutable ADT---a connection between linear types and monads

Chih-Ping Chen, Paul Hudak
1997 Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97  
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