APA (7th ed.) Citation

Rodríguez, L. M., Fridlender, D. E., & Pagano, M. M. (2022). A certified extension of the Krivine machine for a call-by-name higher-order imperative language.

Chicago Style (17th ed.) Citation

Rodríguez, Leonardo Matías, Daniel Edgardo Fridlender, and Miguel María Pagano. A Certified Extension of the Krivine Machine for a Call-by-name Higher-order Imperative Language. 2022.

MLA (9th ed.) Citation

Rodríguez, Leonardo Matías, et al. A Certified Extension of the Krivine Machine for a Call-by-name Higher-order Imperative Language. 2022.