Cited in
(23)- Creol: A type-safe object-oriented model for distributed concurrent systems
- scientific article; zbMATH DE number 1420790 (Why is no real title available?)
- Comparing object encodings.
- A new formalization of subtyping to match subclasses to subtypes
- scientific article; zbMATH DE number 1088218 (Why is no real title available?)
- \(F\)-bounded quantification and the matching relation
- Termination of system \(F\)-bounded: A complete proof
- Typed operational semantics for higher-order subtyping.
- Foundations for virtual types
- Objects and classes in Algol-like languages
- Basic theory of \(F\)-bounded quantification.
- Type-safe covariant specialization with generalized matching
- Smalltalk
- BETA
- Featherweight Java
- gbeta
- Semantics of temporal classes
- scientific article; zbMATH DE number 2089395 (Why is no real title available?)
- A language for generic programming in the large
- A CuCh interpretation of an object-oriented language
- Matching for the lambda calculus of objects
- On problems in polymorphic object-oriented languages with self types and matching
- Evolution of rule-based programs
This page was built for software: PolyTOIL
