TY  - BOOK
AU  - Turbak, Franklyn.
AU  - Gifford, David ;Sheldon, Mark A. 
TI  - Design concepts in programming languages
SN  - 9780262201759
AV  - QA 76.7 .T87 2008 
PY  - 2008///
CY  - Cambridge, Massachusetts
PB  - MIT Press
KW  - PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)
N1  - Includes bibliographical references and index; 1: Foundations -- Introduction -- Syntax -- Operational semantics -- Denotational semantics -- Fixed points -- 2: Dynamic semantics -- FL: a functional language -- Naming -- State -- Control -- Data -- 3: Static semantics -- Simple types -- Polymorphism and higher-order types -- Type reconstruction -- Abstract types -- Modules -- Effects describe program behavior -- 4: Pragmatics -- Compilation -- Garbage collection
N2  - "This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book's unique approach is based on a family of syntactically simple pedagogical languages that allow students to explore programming language concepts systematically. It takes as its premise and starting point the idea that when language behaviors become incredibly complex, the description of the behaviors must be incredibly simple." "The book is suitable as a text for an introductory graduate or advanced undergraduate programming languages course; it can also serve as a reference for researchers and practitioners."--Jacket
ER  -