Summary: Type Systems for Programming Languages1
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3891
Copyright c 1995-2000. All rights reserved.
These are course notes Computer Science 15814 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.
I Type Structure 1
1 Basic Types 3