31 citations · 39 across the 11 of their papers we have counts for
1 paper · 1 filter
Maciej Buszka, Dariusz Biernacki
The functional correspondence is a manual derivation technique transforming higher-order evaluators into the semantically equivalent abstract machines. The transformation consists…