Computing ML Equality Kinds Using Abstract Interpretation

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen. Computing ML Equality Kinds Using Abstract Interpretation. Inf. Comput., 107(2):303-323, December 1993.

Abstract

Abstract is missing.