activity
20052026
most citedAn Operational Foundation for Delimited Continuations in the CPS Hierarchy

31 citations · 35 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.PL2026

A simple and efficient implementation of strong call by need by an abstract machine

Małgorzata Biernacka, Witold Charatonik, Tomasz Drab

Strong call-by-need combines full normalization with the sharing discipline of lazy evaluation, yet no prior implementation achieved both simplicity and efficiency. We introduce RK…