Types, potency, and idempotency: why nonlinearity and amnesia make a type system work (2004)

by Peter Møller Neergaard, Harry G Mairson
Venue:In ICFP ’04: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming