LUIS FRANCISCO ZILIANI

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE CORDOBA / FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA / SECCION CS.DE LA COMPUTACION
Título	Doctorado en informática
Grado	Universitario de posgrado/doctorado

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-4 de 4

Artículo A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading

Ziliani, Luis Francisco ; Sozeau, Matthieu (Cambridge University Press, 2017-02)
Artículo From Specification to Testing: Semantics Engineering for Lua 5.2

Soldevila Raffa, Mallku Ernesto ; Ziliani, Luis Francisco ; Silvestre, Bruno (Springer, 2022-08)
Artículo Mtac: A monad for typed tactic programming in Coq

Ziliani, Luis Francisco ; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor (Cambridge University Press, 2015-08)
Artículo Verification of Dynamic Bisimulation Theorems in Coq

Fervari, Raul Alberto ; Trucco, Francisco Carlos; Ziliani, Luis Francisco (Elsevier, 2021-04)

Mostrando ítems 1-4 de 4