A record calculus with principal types

DOI10.1007/BFB0016856MaRDI QIDQ5096310zbMATH OpenOpenAlexFDO

Authors Andreas Hense, Gert Smolka

Publication date 16 August 2022

Published in Constraints in Computational Logics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A calculus with recursive types, record concatenation and subtyping
• scientific article; zbMATH DE number 814798
• scientific article; zbMATH DE number 1187955
• Dependently typed records in type theory
• Relational and Kleene-Algebraic Methods in Computer Science
• scientific article; zbMATH DE number 1302055
• A Sequent Calculus for Type Theory
• Automated Reasoning with Analytic Tableaux and Related Methods
• Typed operational semantics for dependent record types
• Types for the ambient calculus

Cites work

• An ideal model for recursive polymorphic types
• scientific article; zbMATH DE number 3864476 (Why is no real title available?)
• Type inference for polymorphic references
• Type inference for record concatenation and multiple inheritance
• Wrapper semantics of an object-oriented programming language with state

Cited in

(7)

• scientific article; zbMATH DE number 1692945 (Why is no real title available?)
• An interoperable calculus for external object access
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• scientific article; zbMATH DE number 814796 (Why is no real title available?)
• scientific article; zbMATH DE number 814798 (Why is no real title available?)
• A calculus with recursive types, record concatenation and subtyping
• Type inference for record concatenation and multiple inheritance

This page was built for publication: A record calculus with principal types

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