activity
20132026
most citedTwo-variable Logic with Counting and a Linear Order

32 citations · 40 across the 6 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…