Foundations for virtual types

DOI10.1006/inco.2001.2942zbMath1012.68042OpenAlexW2049773429MaRDI QIDQ1854531

Benjamin C. Pierce, Atsushi Igarashi

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2001.2942

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Metamodeling semantics of multiple inheritance

Uses Software

• BETA
• PolyTOIL

Cites Work

• An extension of system \(F\) with subtyping
• Bounded quantification is undecidable
• Comparing object encodings.
• Simple type-theoretic foundations for object-oriented programming
• A semantic basis for Quest
• Unnamed Item
• Unnamed Item

This page was built for publication: Foundations for virtual types