Cambridge, UK
Known As: Sam

Archibald Samuel Elliott

Language & Compiler Developer

Library

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

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

Maths

Term Rewriting and all that

by Franz Baader and Tobias Nipkow

Chapter Zero: Fundamental Notions of Abstract Mathematics

by Carol Schumacher