Closure analysis in constraint form (1995)

by J Palsberg
Venue:ACM Trans. Programming Languages Systems