Malgorzata Biernacka, Witold Charatonik, Tomasz Drab. A Derived Reasonable Abstract Machine for Strong Call by Value. In Niccolò Veltri, Nick Benton, Silvia Ghilezan, editors, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM, 2021. [doi]
Abstract is missing.