Browsing by Author "Pagano, Miguel"
Now showing items 1-2 of 2
-
Proving correctness of a compiler using step-indexed logical relations
Rodríguez, Leonardo; Pagano, Miguel; Fridlender, Daniel (2016)In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ... -
Una reforma neoliberal de la UNC: mercantilización de educación superior en edX-UNCordobaX
Torrano, Andrea; Pagano, Miguel (2017)El 21 de marzo de 2017, luego de un debate en el Consejo Superior, la UNC se incorporó al Consorcio edX fundado en 2012 por la Universidad de Harvard y el MIT (Massachusetts Institute of Technology). edX es un proyecto ...