Computing ML Equality Kinds Using Abstract Interpretation

Computing ML Equality Kinds Using Abstract Interpretation
Carl A. Gunter, Elsa L. Gunter and David B. MacQueen
Information and Computation, volume 107, number 2, pages 303-323, December 1993.

Last updated on Thursday, June 26, 2014, 12:47 pm