Andrew W. Appel

8 books

Alan Turing's Systems of Logic: The Princeton Thesis by Alan Turing, Andrew W. Appel

Alan Turing's Systems of Logic: The Princeton Thesis

Alan Turing, Andrew W. Appel

160 pages • 2012

nonfiction mathematics philosophy science challenging informative slow-paced
Compiling with Continuations by Andrew W. Appel

Compiling with Continuations

Andrew W. Appel

272 pages • 1991

nonfiction computer science challenging informative reflective medium-paced
Modern Compiler Implementation in C by Andrew W. Appel

Modern Compiler Implementation in C

Andrew W. Appel

554 pages • 1997

nonfiction computer science informative medium-paced
Modern Compiler Implementation in ML by Andrew W. Appel

Modern Compiler Implementation in ML

Andrew W. Appel

552 pages • 1997

nonfiction computer science informative slow-paced
Modern Compiler Implementation in Java by Andrew W. Appel

Modern Compiler Implementation in Java

Andrew W. Appel

512 pages • 1997

nonfiction computer science informative medium-paced
Modern compiler implementation in ML by Andrew W. Appel
Modern compiler implementation in ML
—
Andrew W. Appel

Modern compiler implementation in ML

Andrew W. Appel

538 pages • hardcover • 1998

Program Logics for Certified Compilers by Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

Program Logics for Certified Compilers

Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

472 pages • 2014

education challenging informative medium-paced
Software Foundations, Volume 3: Verified Functional Algorithms by Andrew W. Appel
Software Foundations, Volume 3: Verified Functional Algorithms
—
Andrew W. Appel

Software Foundations, Volume 3: Verified Functional Algorithms

Software Foundations #3

Andrew W. Appel

missing page info • digital • 2017

computer science adventurous informative medium-paced