Binding time analysis for higher-order untyped functional languages (1990)

by C Consel
Venue:Lips and Functional Programming, ACM LFP'90 proceedings