A record calculus with principal types

DOI10.1007/BFb0016856zbMath1495.68027OpenAlexW2102225735MaRDI QIDQ5096310

Gert Smolka, Andreas V. Hense

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

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

Cites Work

• Unnamed Item
• Type inference for record concatenation and multiple inheritance
• Type inference for polymorphic references
• An ideal model for recursive polymorphic types
• Wrapper semantics of an object-oriented programming language with state

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