Computing ML equality kinds using abstract interpretation

DOI10.1006/INCO.1993.1070MaRDI QIDQ1317430zbMATH OpenOpenAlexFDO

Authors Carl A. Gunter, Elsa Gunter, David MacQueen

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)

Recommendations

• An abstract interpretation for ML equality kinds
• On abstract data types presented by multiequations
• scientific article; zbMATH DE number 2043546
• Calculus of equivalences of abstract programs
• An analysis of ML typability
• On the equivalence of types
• scientific article; zbMATH DE number 408803
• Semantics for core Concurrent ML using computation types
• Deciding type equivalence in a language with singleton kinds
• Equality, types, modules, and (why not?) generics for logic programming

Cited in

(1)

• An abstract interpretation for ML equality kinds

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317430)