Travelled to:1 × Japan
Collaborated with:C.Hritcu P.Melliès D.Ahman A.Rastogi N.Swamy E.Rivas Antoine Van Muylder C.Fournet G.Martínez G.D.Plotkin J.Protzenko
Talks about:state (2) dijkstra (1) program (1) monoton (1) foundat (1) account (1) fibrat (1) applic (1) relat (1) recal (1)
Person: Kenji Maillard
DBLP: Maillard:Kenji
Contributed to:
2015
201720182020Wrote 4 papers:
- LICS-2015-MaillardM
- A Fibrational Account of Local States (KM, PAM), pp. 402–413.
- POPL-2017-AhmanHMMPPRS #for free #monad
- Dijkstra monads for free (DA, CH, KM, GM, GDP, JP, AR, NS), pp. 515–529.
- POPL-2018-AhmanFHMRS
- Recalling a witness: foundations and applications of monotonic state (DA, CF, CH, KM, AR, NS), p. 30.
- POPL-2020-MaillardHRM #logic #relational
- The next 700 relational program logics (KM, CH, ER, AVM), p. 33.