Title: An Abstract Machine for Strong Call by Value
Authors: Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
Journal: Asian Symposium on Programming Languages and Systems(tom: Asian Symposium on Programming, strony: 147--166), Wydawca:Springer
Publication type: conference
DOI: 10.1007/978-3-030-64437-6_8