Summary: Type Systems for Programming Languages1
(DRAFT)
Robert Harper
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3891
E-mail: rwh@cs.cmu.edu
WWW: http://www.cs.cmu.edu/~rwh
Spring, 2000
Copyright c 1995-2000. All rights reserved.
1
These are course notes Computer Science 15­814 at Carnegie Mellon University.
This is an incomplete, working draft, not intended for publication. Citations to the
literature are spotty at best; no results presented here should be considered original
unless explicitly stated otherwise. Please do not distribute these notes without the
permission of the author.
ii
Contents
I Type Structure 1
1 Basic Types 3

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics