TY  - RPRT
TI  - An Abstract Machine for Strong Call by Value
AU  - Małgorzata Biernacka
AU  - Dariusz Biernacki
AU  - Witold Charatonik
AU  - Tomasz Drab
PY  - 2020
UR  - https://arxiv.org/abs/2009.06984
ID  - 2009.06984
ER  -