An ML-style record calculus with extensible records

DOI10.4204/EPTCS.351.1MaRDI QIDQ6653744FDOQ6653744

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

• A semantics of multiple inheritance
• Operations on records
• A theory of qualified types
• Title not available (Why is that?)
• Qualified Types
• Simple type-theoretic foundations for object-oriented programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• \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)