Archibald Samuel Elliott

Programming Languages & Compilers


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

← Home


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 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


Modern Compiler Design

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


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