Compiling Control as Offline Partial Deduction.

Vincent Nys, Danny De Schreye

Browse the full LOPSTR paper archive.