Andrew W. Appel

No bio available. Add one in Open Library.

Books by Andrew W. Appel (50 max)

+ shelf+ list

Modern Compiler Implementation in Java Basic Techniques

1997

Andrew W. Appel

+ shelf+ list

Program Logics for Certified Compilers

2014

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy

+ shelf+ list

Compiling with Continuations

2009

Andrew W. Appel

+ shelf+ list

Modern Compiler Implementation in ML

2012

Andrew W. Appel

+ shelf+ list

Modern Compiler Implement Java 2ed

2002

Andrew W. Appel

+ shelf+ list

Alan Turing's Systems of Logic: The Princeton Thesis

2014

Andrew W. Appel

+ shelf+ list

Alan Turing's Systems of Logic The Princeton Thesis

2021

Andrew W. Appel