Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Type Systems for Programming Languages1 Robert Harper
 

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 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.
ii
Contents
I Type Structure 1
1 Basic Types 3

  

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

 

Collections: Mathematics