From Algol to polymorphic linear lambda-calculus

Open Webpage

Peter W. O'Hearn, John C. Reynolds

Published: 2000, Last Modified: 16 May 2025J. ACM 2000EveryoneRevisionsBibTeXCC BY-SA 4.0