Andrew W. Appel · 7 obras en el catálogoObrasAlan Turing's Systems of Logic: The Princeton ThesisProgram Logics for Certified CompilersMModern Compiler Implementation in JavaModern Compiler Implementation in JavaCCompiling with ContinuationsCompiling with ContinuationsMModern Compiler Implementation in MLModern Compiler Implementation in MLAAlan Turing's Systems of LogicAlan Turing's Systems of LogicMModern Compiler Implement Java 2edModern Compiler Implement Java 2ed