Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory.

Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski

Browse the full PPDP paper archive.