Automatic Binding Time Analysis for a Typed Lambda-Calculus.

Hanne Riis Nielson, Flemming Nielson

Browse the full POPL paper archive.