2 papers
cs.PL2026
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…
cs.LO2024
Fully Abstract Encodings of -Calculus in HOcore through Abstract Machines
MaÅgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet +3
We present fully abstract encodings of the call-by-name and call-by-value -calculus into HOcore, a minimal higher-order process calculus with no name restriction. We consider s…