Operations on records

DOI10.1017/S0960129500000049MaRDI QIDQ3349962zbMATH OpenWikidataFDO

Authors Luca Cardelli, John Mitchell

Publication date 1991

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

Full work available at URL https://doi.org/10.1017/S0960129500000049

zbMATH Keywords

record structuressecond-order type systemsubtypes

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 814796
• Operations on records
• Operations on records (extended abstract)
• scientific article; zbMATH DE number 1194780
• scientific article; zbMATH DE number 4015934
• scientific article; zbMATH DE number 1212031
• Records
• Records and concomitants

Cites work

• A semantics of multiple inheritance
• A theory of type polymorphism in programming
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• SIMULA: an ALGOL-based simulation language
• The semantics of second-order lambda calculus

Cited in

(25)

• Inheritance as implicit coercion
• Another definition of order-sorted algebra
• Typed operational semantics for higher-order subtyping.
• Type destructors
• Foundations for extensible objects with roles
• Practical Optional Types for Clojure
• Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
• Type extensions
• Semantic types and approximation for Featherweight Java
• Labelled reductions, runtime errors, and operational subsumption
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Simple type-theoretic foundations for object-oriented programming
• scientific article; zbMATH DE number 814796 (Why is no real title available?)
• MOVE-TO-FRONT RULE FOR ACCESSING SEVERAL RECORDS
• Taming the merge operator
• Operations on records (extended abstract)
• An imperative object calculus
• No value restriction is needed for algebraic effects and handlers
• Operations on records
• Higher-order subtyping and its decidability
• A calculus with recursive types, record concatenation and subtyping
• Nearlattices with an overriding operation
• An ML-style record calculus with extensible records
• Divergence of \(F_{\leq}\) type checking
• A descriptive type foundation for RDF Schema

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Operations on records

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