Type Systems for Programming Languages DRAFT

Type Systems for Programming Languages DRAFTShort Description
Programming Languages by Carl Gunter [22], and The Formal Semantics of … This is the first draft of a planned text on type theory for programming …

Website: www.cs.cmu.edu | Filesize: 773kb

Content
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.
1These 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….

Get the file Download here

AddThis Social Bookmark Button
Related Books:
  • Practical Foundations for Programming Languages
  • Programming Languages and Lambda Calculi
  • Functional Programming Languages
  • Programming Languages mini-HOWTO
  • The Next 700 Programming Languages
  • Integrating Programming Languages amp Databases Whats the Problem
  • A Little Ruby A Lot of Objects Preface Using the book
  • Microsoft PowerPoint - EG04ProgrammingLanguages.ppt

    • Filed Under Others, Programming 

    Related Searches: , , , ,



    Comments

    Leave a Reply