Analysing Resource Use in the λ-Calculus By Type Inference (1994)

Cached

Download Links

by S. A. Courtenage , C. D. Clack