PolyTOIL
From MaRDI portal
Software:26111
swMATH14205MaRDI QIDQ26111FDOQ26111
Author name not available (Why is that?)
Cited In (19)
- A new formalization of subtyping to match subclasses to subtypes
- Basic theory of \(F\)-bounded quantification.
- Type-safe covariant specialization with generalized matching
- A language for generic programming in the large
- A CuCh interpretation of an object-oriented language
- \(F\)-bounded quantification and the matching relation
- Title not available (Why is that?)
- Evolution of rule-based programs
- Matching for the lambda calculus of objects
- Comparing object encodings.
- Foundations for virtual types
- Objects and classes in Algol-like languages
- Semantics of temporal classes
- Title not available (Why is that?)
- Typed operational semantics for higher-order subtyping.
- Title not available (Why is that?)
- Termination of system \(F\)-bounded: A complete proof
- Creol: A type-safe object-oriented model for distributed concurrent systems
- On problems in polymorphic object-oriented languages with self types and matching
This page was built for software: PolyTOIL
