activity
20202026
most citedStrong Call by Value is Reasonable for Time

2 citations · 2 across the 3 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…