Practical Foundations for Programming Languages [PDF]

Practical Foundations for Programming Languages

Download the latest draft copy of Professor Robert Harper’s Practical Foundations for Programming Languages in pdf format. This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

Topics included: Judgments and Rules • Statics and Dynamics • Function Types • Finite Data Types • Infinite Data Types • Dynamic Types • Variable Types • Subtyping • Classes and Methods • Exceptions and Continuations • Types and Propositions • Symbols • State • Laziness • Parallelism • Concurrency • Modularity and Equational Reasoning • Robert Harper is a computer science professor at Carnegie Mellon University.

Book Details

Author(s): Robert Harper
Publisher: Cambridge University Press
Published: December 2012
Format(s): PDF
File size: 1.72 MB
Number of pages: 592
Download / View Link(s): PDF | Author’s Homepage

One Response to “Practical Foundations for Programming Languages [PDF]”

  1. Kenneth Ening Owusu says:

    A very good book,i should think

Leave a Reply