P.M.: A type system equivalent to flow analysis (1995)

by J Palsberg, O'Keefe
Venue:In: 22nd Principles of Programming Languages