Computing ML equality kinds using abstract interpretation

DOI10.1006/INCO.1993.1070zbMath0802.68077OpenAlexW2093305836MaRDI QIDQ1317430

Carl A. Gunter, David B. MacQueen, Elsa L. Gunter

Publication date: 24 March 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a8c944f53bf9f020685b56f432be1674801f200c

zbMATH Keywords

abstract interpretationStandard MLalgebra of type constructionequality types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

This page was built for publication: Computing ML equality kinds using abstract interpretation