Collaborated with:M.Jaskelioff G.D.Luca D.Ahman C.Hritcu J.Protzenko A.Rastogi N.Swamy K.Maillard G.D.Plotkin V.Dumitrescu N.Giannarakis C.Hawblitzel M.Narasimhamurthy Z.Paraskevopoulou C.Pit-Claudel T.Ramananandro
Talks about:metaprogram (1) typeclass (1) dijkstra (1) tactic (1) improv (1) relat (1) proof (1) monad (1) autom (1) open (1)
Person: Guido Martínez
DBLP: Mart=iacute=nez:Guido
Contributed to:
2018
2019
2017Wrote 3 papers:
- Haskell-2018-MartinezJL
- Improving typeclass relations by being open (GM, MJ, GDL), pp. 68–80.
- ESOP-2019-MartinezADGHHNP #automation #metaprogramming #proving #smt
- Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
- POPL-2017-AhmanHMMPPRS #for free #monad
- Dijkstra monads for free (DA, CH, KM, GM, GDP, JP, AR, NS), pp. 515–529.