GUIDO MARTÍNEZ

Datos académicos

Lugar de trabajo	CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS / CENTRO CIENTIFICO TECNOLOGICO CONICET - ROSARIO / CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS \| UNIVERSIDAD NACIONAL DE ROSARIO / CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Campo de aplicación	Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad	Ciencias de la Computación

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-4 de 4

Artículo Confluence in Probabilistic Rewriting

Díaz Caro, Alejandro ; Martínez, Guido (Elsevier, 2018-10)
Artículo Dijkstra monads for all

Maillard, Kenji; Ahman, Danel; Atkey, Robert; Martínez, Guido ; Hritcu, Catalin; Rivas, Exequiel; Tanter, Éric (Association for Computing Machinery, 2019-09)
Artículo Improving typeclass relations by being open

Martínez, Guido ; Jaskelioff, Mauro Javier ; De Luca, Guido (Association for Computing Machinery, 2018-09)
Artículo SteelCore: An extensible concurrent separation logic for effectful dependently typed programs

Swamy, Nikhil; Rastogi, Aseem; Fromherz, Aymeric; Merigoux, Denis; Ahman, Danel; Martínez, Guido (Association for Computing Machinery, 2020-08)

Mostrando ítems 1-4 de 4