Analysing Resource Use in the Lambda Calculus by Type Inference.

Simon Courtenage, Chris D. Clack

Browse the full PEPM paper archive.