Introduction

  • Roberto Di Cosmo
Part of the Progress in Theoretical Computer Science book series (PTCS)

Abstract

In modern programming languages the notion of type has become so natural and widespread that it is easy to forget about its origins and its theoretical relevance. A type is simply seen as a useful means of classification of the objects that a program manipulates: types help to understand better what a program does, and they also provide a valuable firewall against many common programming errors.

Keywords

Sugared Sorting Encapsulation Equi Valence Nite 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 1995

Authors and Affiliations

  • Roberto Di Cosmo
    • 1
  1. 1.Ecole Normale SupérieureLIENS-DMIParis Cedex 05France

Personalised recommendations