Operations on records
From MaRDI portal
Publication:3349962
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)
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
Cites Work
