Reynolds: 2000, `From Algol to Polymorphic Linear Lambda-calculus (0)

by P W O'Hearn, J C
Venue:Journal of the ACM