A Derived Reasonable Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Browse the full PPDP paper archive.