Definable Covariant Self Types
In this chapter, we resume the study of Self types. We work entirely within the calculus Ob<:µ of Chapter 13 (namely, the second-order calculus with bounded quantifiers, recursion, and simple object types). Within this calculus, we derive rules for the combination of object types and the Self quantifier.
KeywordsRepresentation Type Operational Semantic Object Type Structural Object Structural Rule
Unable to display preview. Download preview PDF.