1960
5 works on record
Modern compiler implementation in C
1997
Modern compiler implementation in ML
Compiling with Continuations
1992
Modern compiler implementation in Java
Alan Turings Systems Of Logic The Princeton Thesis