An Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab

Browse the full APLAS paper archive.