Operations on records

DOI10.1017/S0960129500000049zbMath0727.68020WikidataQ56982273 ScholiaQ56982273MaRDI QIDQ3349962

John C. Mitchell, Luca Cardelli

Publication date: 1991

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

subtypesrecord structuressecond-order type system

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Higher-order subtyping and its decidability ⋮ Labelled reductions, runtime errors, and operational subsumption ⋮ Semantic types and approximation for Featherweight Java ⋮ An imperative object calculus ⋮ Typed operational semantics for higher-order subtyping. ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Nearlattices with an overriding operation ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Inheritance as implicit coercion ⋮ Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming ⋮ Divergence of \(F_{\leq}\) type checking ⋮ Practical Optional Types for Clojure ⋮ A descriptive type foundation for RDF Schema ⋮ Another definition of order-sorted algebra ⋮ Type destructors ⋮ Foundations for extensible objects with roles ⋮ A paradigmatic object-oriented programming language: Design, static typing and semantics ⋮ Simple type-theoretic foundations for object-oriented programming ⋮ Taming the Merge Operator

Uses Software

• Eiffel

Cites Work

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