PolyTOIL

swMATH14205MaRDI QIDQ26111FDOQ26111

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/3-540-49538-X_3

Cited In (21)

• 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?)
• Featherweight Java
• Typed operational semantics for higher-order subtyping.
• gbeta
• 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