Rolling your own mutable ADT—a connection between linear types and monads (1997)

by Chih-Ping Chen, Paul Hudak
Venue:In POPL