Foundations for programming languages

✍ John C. Mitchell 📂 Library 📅 1996 🏛 The MIT Press 🌐 English

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophis

Foundations for Programming Languages (F

📁 Foundations for Programming Languages (Foundations of Computing)

✍ John C. Mitchell 📂 Library 📅 1996 🌐 English

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Late

Foundations for Programming Languages (F

📁 Foundations for Programming Languages (Foundations of Computing)

✍ John C. Mitchell 📂 Library 📅 1996 🌐 English

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Late

Practical foundations for programming la

📁 Practical foundations for programming languages

✍ Harper R. 📂 Library 📅 2010 🏛 web draft 🌐 English

Practical Foundations for Programming La

📁 Practical Foundations for Programming Languages

✍ Robert Harper 📂 Library 🌐 English

Practical Foundations for Programming La

📁 Practical Foundations for Programming Languages

✍ Robert Harper 📂 Library 📅 2012 🏛 Cambridge University Press 🌐 English

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper inste