Analysing Resource Use in the Lambda Calculus by Type Inference

Simon Courtenage, Chris D. Clack. Analysing Resource Use in the Lambda Calculus by Type Inference. In PEPM. pages 33-41, 1994.

Abstract

Abstract is missing.