An ML-style record calculus with extensible records

DOI10.4204/EPTCS.351.1MaRDI QIDQ6653744zbMATH OpenFDO

Authors Sandra Alves, Miguel Ramos

Publication date 17 December 2024

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 445158 (Why is no real title available?)
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• A semantics of multiple inheritance
• A theory of qualified types
• Operations on records
• Qualified Types
• Simple type-theoretic foundations for object-oriented programming
• \texttt{EVL}: a typed higher-order functional language for events

This page was built for publication: An ML-style record calculus with extensible records

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