scientific article; zbMATH DE number 954811

MaRDI QIDQ3837264zbMATH OpenFDO

Authors Benjamin C. Pierce, Adriana Compagnoni

Publication date 8 December 1996

zbMATH Keywords

object-oriented programming with multiple inheritance

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2079017
• Intersection types and overloading
• A semantics of multiple inheritance
• scientific article; zbMATH DE number 512791
• Higher-order subtyping

Cited in

(15)

• Higher-order subtyping
• Typed operational semantics for higher-order subtyping.
• Superposition with datatypes and codatatypes
• Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
• Disjoint polymorphism
• Intersection types and overloading
• Semantic types and approximation for Featherweight Java
• Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
• scientific article; zbMATH DE number 2079017 (Why is no real title available?)
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• scientific article; zbMATH DE number 6744146 (Why is no real title available?)
• Metamodeling semantics of multiple inheritance
• Higher-order subtyping and its decidability
• A calculus with recursive types, record concatenation and subtyping
• Intersection types via finite-set declarations

This page was built for publication:

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