• Title of article

    A theory of primitive objects: Second-order systems

  • Author/Authors

    Mart?n Abadi، نويسنده , , Luca Cardelli، نويسنده ,

  • Issue Information
    دوماهنامه با شماره پیاپی سال 1995
  • Pages
    36
  • From page
    81
  • To page
    116
  • Abstract
    We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types.
  • Journal title
    Science of Computer Programming
  • Serial Year
    1995
  • Journal title
    Science of Computer Programming
  • Record number

    1079423

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1079423