scientific article

zbMath0861.68054MaRDI QIDQ3837264

Benjamin C. Pierce, Adriana Compagnoni

Publication date: 8 December 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

object-oriented programming with multiple inheritance

Mathematics Subject Classification ID

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

Related Items

Higher-order subtyping and its decidability, Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping, Higher-order subtyping, Typed operational semantics for higher-order subtyping., A calculus with recursive types, record concatenation and subtyping, Disjoint Polymorphism, Metamodeling semantics of multiple inheritance