Books by Andrew W. Appel
Modern compiler implementation in Java
1997
Compiling with Continuations
1992
Alan Turing's Systems of Logic
2021
Can't find the book you're looking for? Let us know — it helps us improve.