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


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.


Programming Language Type System Category Theory Unit Type Functional Language 
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.


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