Skip to content

Instantly share code, notes, and snippets.

@larrytheliquid

larrytheliquid/my-plt-ish-books.txt

Created October 17, 2010 04:58
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save larrytheliquid/630553 to your computer and use it in GitHub Desktop.
Save larrytheliquid/630553 to your computer and use it in GitHub Desktop.
Download ZIP
programming language theory: my current batch of books related to the topic, should help to get a feel of the basics
Raw
my-plt-ish-books.txt
Mathematical Logic - Kleene
Basic Category Theory for Computer Scientists - Pierce
A Book of Abstract Algebra - Pinter
Conceptual Mathematics - Lawvere & Schanuel
An Introduction to Formal Logic - Smith
To Mock A Mockingbird - Smullyan
Introduction To Logic - Tarski
Purely Functional Data Structures - Okasaki
Topoi: The Categorial Analysis of Logic - Goldblatt
Lectures on the Curry-Howard Isomorphism - Sorensen, Urzyczyn
Advanced Topics in Types and Programming Languages - Pierce
The Haskell Road to Logic, Math, and Programming Languages - Kees Doets, Jan van Eijck
Real World Haskell - O'Sullivan, Goerzen, Stewart
A Logical Approach To Discrete Math - Gries, Schneider
Adapting Proofs as Programs - Poernomo, Crossley, Wirsing
Types and Programming Languages - Pierce
Lambda-Calculus and Combinators: An Introduction - Hindley, Seldin
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment