Using abstract interpretation to compute ML equality kinds (1993)

by C A Gunter, E L Gunter, D B MacQueen
Venue:Information and Computation