Plt Books

Showing 1-50 of 196
Practical Foundations for Programming Languages Practical Foundations for Programming Languages (ebook)
by (shelved 5 times as plt)
avg rating 3.87 — 62 ratings — published 2012
Rate this book
Clear rating
Structure and Interpretation of Computer Programs Structure and Interpretation of Computer Programs (Paperback)
by (shelved 5 times as plt)
avg rating 4.47 — 4,863 ratings — published 1984
Rate this book
Clear rating
Programming Language Pragmatics Programming Language Pragmatics (Paperback)
by (shelved 4 times as plt)
avg rating 3.99 — 360 ratings — published 1997
Rate this book
Clear rating
Formal Semantics of Programming Languages Formal Semantics of Programming Languages (Paperback)
by (shelved 4 times as plt)
avg rating 3.67 — 33 ratings — published 1993
Rate this book
Clear rating
Essentials of Programming Languages Essentials of Programming Languages (Hardcover)
by (shelved 4 times as plt)
avg rating 3.96 — 148 ratings — published 1992
Rate this book
Clear rating
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
by (shelved 3 times as plt)
avg rating 3.57 — 28 ratings — published 2007
Rate this book
Clear rating
Programming Language Foundations in Agda Programming Language Foundations in Agda (ebook)
by (shelved 3 times as plt)
avg rating 4.00 — 3 ratings — published
Rate this book
Clear rating
Types and Programming Languages (Mit Press) Types and Programming Languages (Mit Press)
by (shelved 3 times as plt)
avg rating 4.28 — 589 ratings — published 2002
Rate this book
Clear rating
Programming Languages: Application and Interpretation  Programming Languages: Application and Interpretation (ebook)
by (shelved 3 times as plt)
avg rating 4.08 — 36 ratings — published 2007
Rate this book
Clear rating
The Little Typer (Mit Press) The Little Typer (Mit Press)
by (shelved 2 times as plt)
avg rating 4.08 — 98 ratings — published 2018
Rate this book
Clear rating
Concepts of Programming Languages Concepts of Programming Languages (Hardcover)
by (shelved 2 times as plt)
avg rating 3.66 — 380 ratings — published 1988
Rate this book
Clear rating
The Reasoned Schemer The Reasoned Schemer (Paperback)
by (shelved 2 times as plt)
avg rating 4.25 — 228 ratings — published 2005
Rate this book
Clear rating
Type Theory and Functional Programming (International Computer Science Series) Type Theory and Functional Programming (International Computer Science Series)
by (shelved 2 times as plt)
avg rating 4.33 — 15 ratings — published 1991
Rate this book
Clear rating
Principles of Program Analysis Principles of Program Analysis (Hardcover)
by (shelved 2 times as plt)
avg rating 3.59 — 34 ratings — published 1999
Rate this book
Clear rating
Compilers: Principles, Techniques, and Tools Compilers: Principles, Techniques, and Tools (Hardcover)
by (shelved 2 times as plt)
avg rating 4.10 — 3,026 ratings — published 1986
Rate this book
Clear rating
Communicating and Mobile Systems: The Pi-Calculus Communicating and Mobile Systems: The Pi-Calculus (Paperback)
by (shelved 2 times as plt)
avg rating 4.32 — 31 ratings — published 1999
Rate this book
Clear rating
How to Design Programs: An Introduction to Programming and Computing How to Design Programs: An Introduction to Programming and Computing (Hardcover)
by (shelved 2 times as plt)
avg rating 4.02 — 271 ratings — published 2001
Rate this book
Clear rating
Learn You a Haskell for Great Good! Learn You a Haskell for Great Good! (ebook)
by (shelved 2 times as plt)
avg rating 4.31 — 2,380 ratings — published 2011
Rate this book
Clear rating
Lisp in Small Pieces Lisp in Small Pieces (Paperback)
by (shelved 2 times as plt)
avg rating 4.35 — 112 ratings — published 1996
Rate this book
Clear rating
The Little Schemer The Little Schemer (Paperback)
by (shelved 2 times as plt)
avg rating 4.28 — 1,988 ratings — published 1974
Rate this book
Clear rating
The Life and Opinions of the Tomcat Murr The Life and Opinions of the Tomcat Murr (Paperback)
by (shelved 1 time as plt)
avg rating 3.94 — 2,339 ratings — published 1821
Rate this book
Clear rating
Growing Object-Oriented Software, Guided by Tests (Addison-Wesley Signature Series (Beck)) Growing Object-Oriented Software, Guided by Tests (Addison-Wesley Signature Series (Beck))
by (shelved 1 time as plt)
avg rating 4.19 — 2,464 ratings — published 2009
Rate this book
Clear rating
Object-Oriented Software Construction (Book/CD-ROM) Object-Oriented Software Construction (Book/CD-ROM)
by (shelved 1 time as plt)
avg rating 4.04 — 270 ratings — published 1988
Rate this book
Clear rating
History of Programming Languages II History of Programming Languages II (Hardcover)
by (shelved 1 time as plt)
avg rating 4.30 — 20 ratings — published 1996
Rate this book
Clear rating
LISP From Nothing LISP From Nothing (Paperback)
by (shelved 1 time as plt)
avg rating 4.00 — 1 rating — published
Rate this book
Clear rating
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by (shelved 1 time as plt)
avg rating 4.00 — 21 ratings — published 1989
Rate this book
Clear rating
Software Foundations Software Foundations (ebook)
by (shelved 1 time as plt)
avg rating 4.54 — 41 ratings — published 2011
Rate this book
Clear rating
Domain-Specific Languages (Addison-Wesley Signature Series (Fowler)) Domain-Specific Languages (Addison-Wesley Signature Series (Fowler))
by (shelved 1 time as plt)
avg rating 3.87 — 327 ratings — published 2010
Rate this book
Clear rating
Type Theory and Formal Proof: An Introduction Type Theory and Formal Proof: An Introduction (Hardcover)
by (shelved 1 time as plt)
avg rating 4.65 — 20 ratings — published 2014
Rate this book
Clear rating
Automata and Computability (Undergraduate Texts in Computer Science) Automata and Computability (Undergraduate Texts in Computer Science)
by (shelved 1 time as plt)
avg rating 4.21 — 47 ratings — published 1997
Rate this book
Clear rating
The Scheme Programming Language The Scheme Programming Language (Paperback)
by (shelved 1 time as plt)
avg rating 3.91 — 103 ratings — published 1987
Rate this book
Clear rating
How to Make the World Add Up: Ten Rules for Thinking Differently About Numbers How to Make the World Add Up: Ten Rules for Thinking Differently About Numbers (Paperback)
by (shelved 1 time as plt)
avg rating 4.12 — 8,309 ratings — published 2020
Rate this book
Clear rating
Structured Programming Structured Programming (Hardcover)
by (shelved 1 time as plt)
avg rating 4.11 — 36 ratings — published 1972
Rate this book
Clear rating
Engineering a Compiler Engineering a Compiler (Hardcover)
by (shelved 1 time as plt)
avg rating 4.08 — 210 ratings — published 2003
Rate this book
Clear rating
Instructor's Manual to Accompany Structure and Interpretation of Computer Programs Instructor's Manual to Accompany Structure and Interpretation of Computer Programs (Paperback)
by (shelved 1 time as plt)
avg rating 4.39 — 38 ratings — published 1998
Rate this book
Clear rating
Just Tell Them: The Power of Explanations and Explicit Teaching Just Tell Them: The Power of Explanations and Explicit Teaching (Paperback)
by (shelved 1 time as plt)
avg rating 4.27 — 263 ratings — published
Rate this book
Clear rating
Rate this book
Clear rating
Rate this book
Clear rating
Rate this book
Clear rating
Rough Draft Math: Revising to Learn Rough Draft Math: Revising to Learn (Paperback)
by (shelved 1 time as plt)
avg rating 4.22 — 46 ratings — published
Rate this book
Clear rating
The Blind Spot: Lectures on Logic The Blind Spot: Lectures on Logic (Hardcover)
by (shelved 1 time as plt)
avg rating 3.89 — 9 ratings — published 2011
Rate this book
Clear rating
The Anxious Generation: How the Great Rewiring of Childhood Caused an Epidemic of Mental Illness The Anxious Generation: How the Great Rewiring of Childhood Caused an Epidemic of Mental Illness (Hardcover)
by (shelved 1 time as plt)
avg rating 4.31 — 186,210 ratings — published 2024
Rate this book
Clear rating
Grading for Growth Grading for Growth (Hardcover)
by (shelved 1 time as plt)
avg rating 4.34 — 99 ratings — published
Rate this book
Clear rating
Math Games with Bad Drawings: 75 1/4 Simple, Challenging, Go-Anywhere Games―And Why They Matter Math Games with Bad Drawings: 75 1/4 Simple, Challenging, Go-Anywhere Games―And Why They Matter (Hardcover)
by (shelved 1 time as plt)
avg rating 4.58 — 247 ratings — published 2022
Rate this book
Clear rating
Math with Bad Drawings Math with Bad Drawings (Hardcover)
by (shelved 1 time as plt)
avg rating 4.22 — 1,978 ratings — published 2018
Rate this book
Clear rating
Math for Smarty Pants (Brown Paper School Book) Math for Smarty Pants (Brown Paper School Book)
by (shelved 1 time as plt)
avg rating 4.24 — 171 ratings — published 1982
Rate this book
Clear rating
Mansfield Park Mansfield Park (Paperback)
by (shelved 1 time as plt)
avg rating 3.86 — 381,444 ratings — published 1814
Rate this book
Clear rating
Ghost (The Halloween Boys, #1) Ghost (The Halloween Boys, #1)
by (shelved 1 time as plt)
avg rating 4.05 — 11,104 ratings — published 2022
Rate this book
Clear rating
Algebra-Driven Design Algebra-Driven Design (ebook)
by (shelved 1 time as plt)
avg rating 4.26 — 27 ratings — published
Rate this book
Clear rating
The Stranger The Stranger (Paperback)
by (shelved 1 time as plt)
avg rating 4.03 — 1,419,693 ratings — published 1942
Rate this book
Clear rating