A type system equivalent to flow analysis (1995)

by J Palsberg, P M O’Keefe
Venue:ACM Trans