Closure analysis in constraint form (1995)

by J Palsberg
Venue:In ACM TOPLAS, 47–62