A type system equivalent to flow analysis (1995)

by J Palsberg, P O’Keefe
Venue:ACM Trans. Program. Lang. Syst