Analysing resource use in the -calculus by type inference (1994)

by S A Courtenage, C D Clack
Venue:In ACM Sigplan Workshop on Partial Evaluation and SemanticsBased Program Manipulation