Practical Foundations for Programming Languages [PDF]

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.

Book Description

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.

Download Free PDF / Read Online