Andrew W. Appel
9 published titles
Compiling with continuations
2 editions
- ISBN: 0521416957
- Cambridge University Press
- 1992
- Details
- ISBN: 9780521033114
- Cambridge University Press
- 2006
- Details
Modern compiler implementation in ML : basic techniques
1 edition
- ISBN: 0521587751
- Cambridge University Press
- 1997
- Details
Modern compiler implementation in Java : basic techniques
1 edition
- ISBN: 0521586542
- Cambridge University Press
- 1997
- Details
Modern compiler implementation in C : basic techniques
1 edition
- ISBN: 0521586534
- Cambridge University Press
- 1997
- Details
Modern compiler implementation in ML
1 edition
- ISBN: 0521582741
- Cambridge University Press
- 1998
- Details
Modern compiler implementation in Java
2 editions
- ISBN: 0521583888
- Cambridge University press
- 1998
- Details
- ISBN: 052182060X
- Cambridge University Press
- 2002
- Details
Modern compiler implementation in C
1 edition
- ISBN: 052158390X
- Cambridge University press
- 1998
- Details
Alan Turing's systems of logic : the Princeton thesis
(Contributor)
1 edition
- ISBN: 9780691155746
- Princeton University Press
- 2012
- Details
Program logics for certified compilers
1 edition
- ISBN: 9781107048010
- Cambridge University Press
- 2014
- Details