Definable Covariant Self Types

  • Martín Abadi
  • Luca Cardelli
Part of the Monographs in Computer Science book series (MCS)

Abstract

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.

Keywords

Covariance Exter 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1996

Authors and Affiliations

  • Martín Abadi
    • 1
  • Luca Cardelli
    • 1
    • 2
  1. 1.Systems Research CenterDigital Equipment CorporationPalo AltoUSA
  2. 2.Microsoft ResearchCambridgeUK

Personalised recommendations