A
Andrew W. Appel
7 works on record
Works

Alan Turing's Systems of Logic: The Princeton Thesis

Program Logics for Certified Compilers

Compiling with Continuations
Modern Compiler Implementation in Java
Modern Compiler Implementation in Java
Alan Turing's Systems of Logic
Alan Turing's Systems of Logic
Modern Compiler Implementation in ML
Modern Compiler Implementation in ML
Modern Compiler Implement Java 2ed
Modern Compiler Implement Java 2ed