Computing ML equality kinds using abstract interpretation

• Authors:

• Carl A. Gunter;Elsa L. Gunter;David B. MacQueen

• Affiliations:

• -;-;-

• Venue:
• Information and Computation
• Year:
• 1993