TY  - RPRT
TI  - A simple and efficient implementation of strong call by need by an abstract machine
AU  - Małgorzata Biernacka
AU  - Witold Charatonik
AU  - Tomasz Drab
PY  - 2026
DO  - 10.46298/jfp.17808
UR  - https://arxiv.org/abs/2603.21949
ID  - 2603.21949
ER  -