On problems in polymorphic object-oriented languages with self types and matching

MaRDI QIDQ5482600zbMATH OpenFDO

Authors Michael Winter

Publication date 28 August 2006

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• F-bounded quantification and the matching relation
• A new formalization of subtyping to match subclasses to subtypes
• Self and selftype
• Matching MyType to subtyping
• Matching for the lambda calculus of objects

Cited in

(5)

• Matching MyType to subtyping
• scientific article; zbMATH DE number 2089401 (Why is no real title available?)
• A new formalization of subtyping to match subclasses to subtypes
• F-bounded quantification and the matching relation
• Self and selftype

Describes a project that uses

Uses Software

• PolyTOIL

This page was built for publication: On problems in polymorphic object-oriented languages with self types and matching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5482600)