Operations on records

DOI10.1007/BFb0018345zbMath1493.68082WikidataQ56982289 ScholiaQ56982289MaRDI QIDQ5096252

John C. Mitchell, Luca Cardelli

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

Recursive types for Fun

Cites Work

• A semantics of multiple inheritance
• A theory of type polymorphism in programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Operations on records