An abstract interpretation for ML equality kinds
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 112-130
- https://doi.org/10.1007/3-540-54415-1_43
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Semantic DomainsPublished by Elsevier ,1990
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Lectures on a Mathematical Theory of ComputationPublished by Springer Nature ,1982
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Data Types as LatticesSIAM Journal on Computing, 1976