Elsa L. Gunter
Carl A. Gunter, Elsa L. Gunter, and David B. MacQueen.
Computing ML equality kinds using abstract interpretation.
Information and Computation
, 107(2):303-323, December 1993.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database