scientific article; zbMATH DE number 814801
From MaRDI portal
Publication:4855348
Recommendations
Cited in
(24)- Inheritance as implicit coercion
- Object inheritance beyond subtyping
- A meta-language for typed object-oriented languages
- Higher-order subtyping
- Type-based hot swapping of running modules
- Inheritance-based subtyping
- Specification and verification of object-oriented programs using supertype abstraction
- Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
- A blocking model for reactive objects
- Dynamic object-based inheritance with subtyping
- A coalgebraic semantics of subtyping
- A domain-theoretic model of nominally-typed object-oriented programming
- About the differences between the notions of type and class
- An inheritance flow model for class hierarchy analysis
- Idealized coinductive type systems for imperative object-oriented programs
- Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
- Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
- scientific article; zbMATH DE number 1569128 (Why is no real title available?)
- Metamodeling semantics of multiple inheritance
- Typed equivalence, type assignment, and type containment
- Higher-order subtyping and its decidability
- The equivalence of two semantic definitions for inheritance in object-oriented languages
- A calculus with recursive types, record concatenation and subtyping
- Creol: A type-safe object-oriented model for distributed concurrent systems
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 Q4855348)
