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

Cached

Download Links

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