Operations on records

DOI10.1007/BFb0040253OpenAlexW4230237632WikidataQ56982281 ScholiaQ56982281MaRDI QIDQ5887510

John C. Mitchell, Luca Cardelli

Publication date: 12 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0040253

zbMATH Keywords

inference ruletype systemtype inferencetype rulesubtype relation

Mathematics Subject Classification ID

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

Related Items

An operational semantics for TOOPLE: A statically-typed object-oriented programming language, The equivalence of two semantic definitions for inheritance in object-oriented languages, Session types for safe web service orchestration, Disjoint Polymorphism, \texttt{EVL}: a typed higher-order functional language for events

Uses Software

• ML
• Simula 67

Cites Work

• A semantics of multiple inheritance
• A theory of type polymorphism in programming
• SIMULA: an ALGOL-based simulation language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item