Inheritance-based subtyping

DOI10.1006/INCO.2002.3169zbMath1012.68044OpenAlexW1997608994MaRDI QIDQ1854552

Kathleen Fisher, John Reppy

Publication date: 14 January 2003

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

Full work available at URL: https://semanticscholar.org/paper/742a32dd41d6f9ed4ca31ea6c6e266a0c68c8235

Mathematics Subject Classification ID

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

Uses Software

• OCaml
• Featherweight Java
• Unnamed Item

Cites Work

• Privacy via subsumption

This page was built for publication: Inheritance-based subtyping