An Abstract Interpretation for ML Equality Kinds
Carl A. Gunter, Elsa L. Gunter and David B. MacQueen
Theoretical Aspects of Computer Software International Conference (TACS ’91), Lecture Notes in Computer Science, volume 526, pages 112-130, Sendai, Japan, September 1991.
Last updated on Thursday, June 26, 2014, 12:46 pm