A Compositional Cost Model for the λ-calculus.

James Laird

Browse the full LICS paper archive.