The Structure of Typed Programming Languages (Foundations of Computing) by David A. Schmidt
English | Mar 1, 1994 | ISBN: 0262193493 | 383 Pages | DJVU | 6 MB
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 such as Pascal, Ada, and Modula-3, and the higher-order functional languages such as Scheme and ML.David Schmidt's text is based on the premise that although few programmers ever actually design a programming language, it is important for them to understand the structuring techniques.