The Structure of Typed Programming Languages

by David A. Schmidt

Book Overview

The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory. The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents a rational reconstruction of the Algol-like imperative languages...

• Format: Paperback
• Language: English
• ISBN: 026269171X
• ISBN13: 9780262691710
• Release Date: January 1994
• Publisher: MIT Press
• Length: 383 Pages
• Weight: 1.55 lbs.
• Dimensions: 0.9" x 7.1" x 8.9"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher