Author

Andrew W. Appel

8 books found

Cover of Alan Turing's Systems of Logic

Alan Turing's Systems of Logic

Andrew W. Appel · First published 2014 · Latest edition 2021

Cover of Program Logics for Certified Compilers

Program Logics for Certified Compilers

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy · First published 2014

Cover of Modern compiler implementation in ML

Modern compiler implementation in ML

Andrew W. Appel · First published 1997

Cover of Alan Turings Systems Of Logic The Princeton Thesis

Alan Turings Systems Of Logic The Princeton Thesis

Andrew W. Appel · First published 2012

Cover of Compiling with Continuations

Compiling with Continuations

Andrew W. Appel · First published 1992

Cover of Modern compiler implementation in C

Modern compiler implementation in C

Andrew W. Appel, Maia Ginsburg · First published 1997 · Latest edition 2004

Cover of Modern compiler implementation in Java

Modern compiler implementation in Java

Andrew W. Appel, Jens Palsberg · First published 1997 · Latest edition 2002

Cover of Modern Compiler Implement Java 2ed

Modern Compiler Implement Java 2ed

Andrew W. Appel · First published 2002