Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.

Peter Mller Neergaard, Harry G. Mairson

Browse the full ICFP paper archive.