Research Catalog

Object-oriented type systems

Title
Object-oriented type systems / Jens Palsberg and Michael I. Schwartzbach.
Author
Palsberg, Jens.
Publication
Chichester ; New York : Wiley, [1994], ©1994.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance QA76.64 .P35 1944Off-site

Holdings

Details

Additional Authors
Schwartzbach, Michael I.
Description
viii, 180 pages : illustrations; 24 cm.
Series Statement
Wiley professional computing
Uniform Title
Wiley professional computing.
Subject
  • Object-oriented programming (Computer science)
  • Object-oriented programming
Bibliography (note)
  • Includes bibliographical references (p. [171-177) and index.
Contents
1. Introduction -- 2. Object-Oriented Languages and Type Systems -- 3. The BOPL Language -- 4. Type Checking -- 5. Type Inference -- 6. Inheritance -- 7. Genericity -- A The BOPL Grammar -- B The Workbench.
ISBN
047194128X :
LCCN
93029412
OCLC
ocm28584204
Owning Institutions
Columbia University Libraries