Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- (1997)

by Chih-ping Chen, Paul Hudak
Venue:In Proc. Symp. POPL '97, ACM