• Menu
  • Skip to right header navigation
  • Skip to main content
  • Skip to secondary navigation
  • Skip to primary sidebar

OnlineProgrammingBooks.com

Legally Free Computer Books

  • All Categories
  • All Books
  • All Categories
  • All Books
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact
You are here: Home ▶ Programming ▶ Practical Foundations for Programming Languages [PDF]

Practical Foundations for Programming Languages [PDF]

October 10, 2013

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.

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

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): Download

Similar Books:

  1. Programming in Standard ML
  2. Understanding Programming Languages
  3. Programming Languages: Application and Interpretation
  4. Programming Languages
  5. The Implementation of Functional Programming Languages
Previous Post: « JavaScript Allongé [Online]
Next Post: Data Access for Highly-Scalable Solutions: Using SQL, NoSQL, and Polyglot Persistence »

Primary Sidebar

Get Latest Updates

  • Facebook
  • Pinterest
  • RSS
  • Twitter
  • YouTube
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact

Copyright © 2006–2025 OnlineProgrammingBooks.com