Archibald Samuel Elliott

Programming Languages & Compilers

Library

Here are some books I recommend on various Computing Topics, centred around Types and Compilers.

← Home

Concepts

The Little Schemer

by Daniel P. Friedman and Matthias Felleisen

The Little Prover

by Daniel P. Friedman and Carl Eastlund

The Reasoned Schemer

by Daniel P. Friedman and William E. Byrd

The Little Typer

by Daniel P. Friedman and David Thrane Christiansen

Concepts, Techniques and Models of Computer Programming

by Peter Van Roy and Seif Haridi

The Art of Prolog

by Leon Sterling and Ehud Shapiro

Types

Types and Programming Languages

by Benjamin C. Pierce

Advanced Topics in Types and Programming Languages

edited by Benjamin C. Pierce

Type-Driven Development with Idris

by Edwin Brady

Compilers

Modern Compiler Design

by Dick Grune, Kees van Reeuwijk, Henri E. Bal, Ceriel J.H. Jacobs, and Koen Langendoen

Maths

Term Rewriting and all that

by Franz Baader and Tobias Nipkow

Chapter Zero: Fundamental Notions of Abstract Mathematics

by Carol Schumacher

Distributed Systems

Replication: Theory and Practice

edited by Bernadette Charron-Bost, Fernando Pedone, and Andre Schiper