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.
Download Free PDF / Read Online
Publisher: Cambridge University Press
Published: December 2012
File size: 1.72 MB
Number of pages: 592
Download / View Link(s): Download