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

by P M Neergaard, H G Mairson
Venue:In ICFP ’04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, 138–149, ACM