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

zbMATH Open1097.68534MaRDI QIDQ5482600FDOQ5482600

Authors: Michael Winter 

Publication date: 28 August 2006

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

Mathematics Subject Classification ID

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

Cited In (5)

• A new formalization of subtyping to match subclasses to subtypes
• Title not available (Why is that?)
• Matching MyType to subtyping
• \(F\)-bounded quantification and the matching relation
• Self and selftype

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)