Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines.

Maciej Buszka, Dariusz Biernacki

Browse the full LOPSTR paper archive.