Sign in with Facebook
Pl Theory Books
Showing 1-50 of 50
Types and Programming Languages (Mit Press)
by (shelved 4 times as pl-theory)
avg rating 4.28 — 589 ratings — published 2002
Essentials of Programming Languages (Hardcover)
by (shelved 3 times as pl-theory)
avg rating 3.96 — 148 ratings — published 1992
Type Theory and Formal Proof: An Introduction (Hardcover)
by (shelved 2 times as pl-theory)
avg rating 4.65 — 20 ratings — published 2014
Software Foundations (ebook)
by (shelved 2 times as pl-theory)
avg rating 4.54 — 41 ratings — published 2011
Advanced Topics in Types and Programming Languages (Hardcover)
by (shelved 2 times as pl-theory)
avg rating 3.96 — 49 ratings — published 2004
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
by (shelved 1 time as pl-theory)
avg rating 4.20 — 5 ratings — published 1990
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
by (shelved 1 time as pl-theory)
avg rating 4.00 — 1 rating — published 1992
The Denotational Description of Programming Languages: An Introduction (Paperback)
by (shelved 1 time as pl-theory)
avg rating 4.00 — 5 ratings — published 1979
Term Rewriting and All That (Paperback)
by (shelved 1 time as pl-theory)
avg rating 4.15 — 20 ratings — published 1998
Semantics Engineering with PLT Redex (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 4.07 — 15 ratings — published 2009
Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)
by (shelved 1 time as pl-theory)
avg rating 4.00 — 3 ratings — published 1997
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
by (shelved 1 time as pl-theory)
avg rating 3.57 — 28 ratings — published 2007
Programming with Higher-Order Logic (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.20 — 5 ratings — published 2012
Principles of Program Analysis (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.59 — 34 ratings — published 1999
Program Logics for Certified Compilers (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 4.29 — 7 ratings — published 2014
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (LECTURE NOTES IN COMP)
by (shelved 1 time as pl-theory)
avg rating 0.0 — 0 ratings — published 1994
Logical Foundations of Functional Programming (Ut Year of Programming Series)
by (shelved 1 time as pl-theory)
avg rating 0.0 — 0 ratings — published 1990
Introduction to Bisimulation and Coinduction (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.25 — 4 ratings — published 2011
Interactive Theorem Proving and Program Development (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 4.14 — 29 ratings — published 2004
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.00 — 1 rating — published 1993
Handbook of Logic in Computer Science 5 (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.33 — 3 ratings — published 2001
Foundations for Programming Languages (Foundations of Computing)
by (shelved 1 time as pl-theory)
avg rating 4.42 — 12 ratings — published 1996
Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 2.00 — 1 rating — published 1995
Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)
by (shelved 1 time as pl-theory)
avg rating 4.00 — 3 ratings — published 1993
Communication and Concurrency (Paperback)
by (shelved 1 time as pl-theory)
avg rating 4.69 — 13 ratings — published 1989
Algebra of Programming (Paperback)
by (shelved 1 time as pl-theory)
avg rating 3.95 — 19 ratings — published 1996
A Theory of Objects (Monographs in Computer Science)
by (shelved 1 time as pl-theory)
avg rating 4.08 — 13 ratings — published 1996
Programming Languages: Application and Interpretation (ebook)
by (shelved 1 time as pl-theory)
avg rating 4.08 — 36 ratings — published 2007
How to Design Programs: An Introduction to Programming and Computing (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 4.02 — 271 ratings — published 2001
Principles of Automated Theorem Proving (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.00 — 2 ratings — published 1991
Programming Language Pragmatics (Paperback)
by (shelved 1 time as pl-theory)
avg rating 3.99 — 360 ratings — published 1997
Implementing Mathematics with The Nuprl Proof Development System (Paperback)
by (shelved 1 time as pl-theory)
avg rating 3.00 — 4 ratings — published 1985
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 2.00 — 1 rating — published 1995
Design Concepts in Programming Languages (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 4.13 — 23 ratings — published 2008
Semantics With Applications: A Formal Introduction (Wiley Professional Computing)
by (shelved 1 time as pl-theory)
avg rating 3.50 — 2 ratings — published 1992
Programming Language Design Concepts (Paperback)
by (shelved 1 time as pl-theory)
avg rating 3.61 — 18 ratings — published 2004
Formal Semantics of Programming Languages (Paperback)
by (shelved 1 time as pl-theory)
avg rating 3.67 — 33 ratings — published 1993
Homotopy Type Theory (ebook)
by (shelved 1 time as pl-theory)
avg rating 4.52 — 54 ratings — published 2013
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 4.28 — 29 ratings — published 2010
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by (shelved 1 time as pl-theory)
avg rating 4.00 — 21 ratings — published 1989
Advanced Programming Language Design (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.45 — 11 ratings — published 1995
Theories of Programming Languages (Paperback)
by (shelved 1 time as pl-theory)
avg rating 4.00 — 11 ratings — published 1998
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Paperback)
by (shelved 1 time as pl-theory)
avg rating 3.80 — 10 ratings — published 1978
Concepts in Programming Languages (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.54 — 41 ratings — published 2001
Type Theory and Functional Programming (International Computer Science Series)
by (shelved 1 time as pl-theory)
avg rating 4.33 — 15 ratings — published 1991
Concepts of Programming Languages (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 3.66 — 380 ratings — published 1988
Lambda Calculus with Types (Perspectives in Logic)
by (shelved 1 time as pl-theory)
avg rating 4.43 — 7 ratings — published 2013
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
by (shelved 1 time as pl-theory)
avg rating 4.17 — 36 ratings — published 1984
Practical Foundations for Programming Languages (ebook)
by (shelved 1 time as pl-theory)
avg rating 3.87 — 62 ratings — published 2012
Compiling with Continuations (Hardcover)
by (shelved 1 time as pl-theory)
avg rating 4.00 — 28 ratings — published 1991
