Title: A Derived Reasonable Abstract Machine for Strong Call by Value
Authors: Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
Journal: 23rd International Symposium on Principles and Practice of Declarative Programming(tom: PPDP 2021, strony: 6:1--6:14), Wydawca:ACM
Publication type: conference
DOI: 10.1145/3479394.3479401