Types, Potency, and Idempotency: Why Nonlinearity and Amnesia Make a Type System Work (2004)

by Peter Møller Neergaard , Harry G. Mairson
Venue:In Proc. 9th Int’l Conf. Functional Programming
Citations:8 - 1 self