Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs (1994)

by J M Ashley, C Consel
Venue:ACM Transactions on Programming Languages and Systems