A certified extension of the Krivine machine for a call-by-name higher-order imperative language

Fil: Rodríguez, Leonardo Matías. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Bibliographic Details
Main Authors: Rodríguez, Leonardo Matías, Fridlender, Daniel Edgardo, Pagano, Miguel María
Format: publishedVersion
Language:eng
Published: 2022
Subjects:
Online Access:http://hdl.handle.net/11086/30119
http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.230