Cambridge, UK
Known As: Sam

Archibald Samuel Elliott

Language & Compiler Developer


Here are some books I recommend on various computing topics, centred around programming language theory, type systems, and compilers.

I occasionally do technical reviews on behalf of publishers. If you are interested in having me review a manuscript for you, do send me an email.

← 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
Disclosure: I was a technical reviewer for this book.


Term Rewriting and all that

by Franz Baader and Tobias Nipkow

Chapter Zero: Fundamental Notions of Abstract Mathematics

by Carol Schumacher