On the Structure of Programming Languages, or, Six Languages for Turing Machines

Eric G. Wagner

Browse the full FOCS paper archive.