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 • first pub 2012 (editions)

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

Compiling with Continuations

Andrew W. Appel

272 pages • first pub 1991 (editions)

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 • first pub 1997 (editions)

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 • first pub 1997 (editions)

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 • first pub 1997 (editions)

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 • first pub 1998 (editions)

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 • first pub 2014 (editions)

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 • first pub 2017 (editions)

computer science adventurous informative medium-paced