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

Małgorzata Biernacka, Małgorzata Biernacka, Witold Charatonik +1

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…