Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.

Norman Ramsey

Browse the full PADL paper archive.