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

by C-P Chen, P Hudak
Venue:In 24th Symposium on Principles of Programming Languages