Följ
Guido Martínez
Guido Martínez
CIFASIS-CONICET
Verifierad e-postadress på cifasis-conicet.gov.ar - Startsida
Titel
Citeras av
Citeras av
År
Dijkstra monads for free
D Ahman, C Hriţcu, K Maillard, G Martínez, G Plotkin, J Protzenko, ...
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
612017
Dijkstra monads for all
K Maillard, D Ahman, R Atkey, G Martínez, C Hritcu, E Rivas, É Tanter
arXiv preprint arXiv:1903.01237, 2019
422019
Meta-F: Proof Automation with SMT, Tactics, and Metaprograms
G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ...
European Symposium on Programming, 30-59, 2019
342019
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.
N Swamy, A Rastogi, A Fromherz, D Merigoux, D Ahman, G Martínez
Proc. ACM Program. Lang. 4 (ICFP), 121:1-121:30, 2020
202020
Steel: proof-oriented programming in a dependently typed concurrent separation logic
A Fromherz, A Rastogi, N Swamy, S Gibson, G Martínez, D Merigoux, ...
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
112021
Confluence in probabilistic rewriting
A Díaz-Caro, G Martinez
Electronic Notes in Theoretical Computer Science 338, 115-131, 2018
102018
Dijkstra Monads for All
D AHMAN, R ATKEY, G MARTÍNEZ, H CĂTĂLIN, R EXEQUIEL, ...
2019
Improving typeclass relations by being open
G Martínez, M Jaskelioff, G De Luca
ACM SIGPLAN Notices 53 (7), 68-80, 2018
2018
Layered Indexed Effects
A RASTOGI, G MARTÍNEZ, A FROMHERZ, T RAMANANANDRO, ...
Programming and Proving with Indexed Effects
A RASTOGI, G MARTÍNEZ, A FROMHERZ, T RAMANANANDRO, ...
ML as a Tactic Language, Again
G MARTÍNEZ, D AHMAN, V DUMITRESCU, N GIANNARAKIS, ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–11