Advertisement

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

Representation Type Operational Semantic Object Type Structural Object Structural Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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