Sign in with Facebook
Programming Language Theory Books
Showing 1-50 of 69
Programming Languages: Application and Interpretation (ebook)
by (shelved 3 times as programming-language-theory)
avg rating 4.08 — 36 ratings — published 2007
Essentials of Programming Languages (Hardcover)
by (shelved 3 times as programming-language-theory)
avg rating 3.96 — 148 ratings — published 1992
Advanced Topics in Types and Programming Languages (Hardcover)
by (shelved 3 times as programming-language-theory)
avg rating 3.96 — 49 ratings — published 2004
Types and Programming Languages (Mit Press)
by (shelved 3 times as programming-language-theory)
avg rating 4.28 — 589 ratings — published 2002
The Little Typer (Mit Press)
by (shelved 2 times as programming-language-theory)
avg rating 4.08 — 98 ratings — published 2018
Programming in Standard ML (ebook)
by (shelved 2 times as programming-language-theory)
avg rating 3.91 — 11 ratings — published 2011
Formal Semantics of Programming Languages (Paperback)
by (shelved 2 times as programming-language-theory)
avg rating 3.67 — 33 ratings — published 1993
An Introduction to Object-Oriented Programming (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.74 — 53 ratings — published 1991
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by (shelved 1 time as programming-language-theory)
avg rating 3.83 — 12 ratings — published 2009
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
by (shelved 1 time as programming-language-theory)
avg rating 4.06 — 32 ratings — published 1983
Programming Languages: Principles and Paradigms (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.47 — 34 ratings — published 1977
Concepts, Techniques, and Models of Computer Programming (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 4.11 — 245 ratings — published 2004
A Programming Language (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 4.45 — 11 ratings — published 1962
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
by (shelved 1 time as programming-language-theory)
avg rating 4.00 — 2 ratings — published 1998
Practical Foundations for Programming Languages (ebook)
by (shelved 1 time as programming-language-theory)
avg rating 3.87 — 62 ratings — published 2012
DOMAIN-THEORETIC FOUNDATIONS OF FUNCTIONAL PROGRAMMING (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 0.0 — 0 ratings — published 2006
Programming with Types (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.98 — 53 ratings — published
Programming Language Pragmatics (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.99 — 360 ratings — published 1997
Programming Languages: Build, Prove, and Compare (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 3.00 — 8 ratings — published
Programming Languages and Operational Semantics: A Concise Overview (Undergraduate Topics in Computer Science)
by (shelved 1 time as programming-language-theory)
avg rating 4.00 — 3 ratings — published 2014
Understanding Computation: From Simple Machines to Impossible Programs (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 4.25 — 281 ratings — published 2013
Introduction to Computing: Explorations in Language, Logic, and Machines (ebook)
by (shelved 1 time as programming-language-theory)
avg rating 4.22 — 18 ratings — published 2011
An Introduction to Functional Programming Through Lambda Calculus (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 4.13 — 227 ratings — published 1989
The Little MLer (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.89 — 63 ratings — published 1997
Principles of Program Analysis (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 3.59 — 34 ratings — published 1999
Software Foundations, Volume 2: Programming Language Foundations (ebook)
by (shelved 1 time as programming-language-theory)
avg rating 4.09 — 11 ratings — published
Software Foundations, Volume 1: Logical Foundations (ebook)
by (shelved 1 time as programming-language-theory)
avg rating 4.79 — 28 ratings — published
The Little Schemer (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 4.28 — 1,988 ratings — published 1974
Programming Languages: Concepts and Constructs (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.62 — 56 ratings — published 1989
Concepts of Programming Languages (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 3.66 — 380 ratings — published 1988
Modern Programming Languages: A Practical Introduction (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.96 — 23 ratings — published 2010
Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... (Lecture Notes in Computer Science, 4420)
by (shelved 1 time as programming-language-theory)
avg rating 5.00 — 1 rating — published 2007
How to Design Programs: An Introduction to Programming and Computing (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 4.02 — 271 ratings — published 2001
Type Theory and Functional Programming (International Computer Science Series)
by (shelved 1 time as programming-language-theory)
avg rating 4.33 — 15 ratings — published 1991
Type Theory and Formal Proof: An Introduction (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 4.65 — 20 ratings — published 2014
Homotopy Type Theory (ebook)
by (shelved 1 time as programming-language-theory)
avg rating 4.52 — 54 ratings — published 2013
Compiling with Continuations (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 4.00 — 28 ratings — published 1991
Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for modern computing problems (Kindle Edition)
by (shelved 1 time as programming-language-theory)
avg rating 4.50 — 2 ratings — published
Parsing Techniques: A Practical Guide (Monographs in Computer Science)
by (shelved 1 time as programming-language-theory)
avg rating 4.19 — 36 ratings — published 1990
![Compiler Design [Mar 15, 2006] Chattopadhyay, Santanu](https://i.gr-assets.com/images/S/compressed.photo.goodreads.com/books/1677797518l/5205564._SX50_.jpg)
Compiler Design [Mar 15, 2006] Chattopadhyay, Santanu (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.89 — 28 ratings — published
The Implementation of Functional Programming Languages (Prentice-hall International Series in Computer Science)
by (shelved 1 time as programming-language-theory)
avg rating 4.16 — 19 ratings — published 1987
Introduction to Functional Programming (Prentice-Hall Series in Engineering of the Physical Sciences)
by (shelved 1 time as programming-language-theory)
avg rating 4.08 — 87 ratings — published 1988
Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems (Kindle Edition)
by (shelved 1 time as programming-language-theory)
avg rating 3.75 — 12 ratings — published
Introduction to Compilers and Language Design (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.83 — 12 ratings — published
Essentials of Compilation: An Incremental Approach in Python (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 4.00 — 1 rating — published
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by (shelved 1 time as programming-language-theory)
avg rating 4.00 — 21 ratings — published 1989
Concept Design: The Essence of Software (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 4.00 — 1 rating — published
Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 3.90 — 886 ratings — published 1999
Lecture Notes on the Lambda Calculus (Hardcover)
by (shelved 1 time as programming-language-theory)
avg rating 3.00 — 1 rating — published
Crafting Interpreters (Paperback)
by (shelved 1 time as programming-language-theory)
avg rating 4.71 — 452 ratings — published 2021
