Types, potency, and idempotency: Why nonlinearity and amnesia make a type system work (0)

by P M Neergaard, H G Mairson
Venue:In Proc. 9th Int. Conf. Functional Programming