Beniamino Accattoli, Giulio Guerrieri. Abstract machines for Open Call-by-Value. Science of Computer Programming, 184, 2019. [doi]
@article{AccattoliG19, title = {Abstract machines for Open Call-by-Value}, author = {Beniamino Accattoli and Giulio Guerrieri}, year = {2019}, doi = {10.1016/j.scico.2019.03.002}, url = {https://doi.org/10.1016/j.scico.2019.03.002}, researchr = {https://researchr.org/publication/AccattoliG19}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {184}, }