Completion Semantics, Interpreter Generation.

Martin C. Henson, Raymond Turner

Browse the full POPL paper archive.