Maillard, Kenji
- The Next 700 Relational Program Logics
2019/07/11 by Kenji Maillard, Maillard, Kenji, Cătălin Hriţcu +5 · 4 citations
Computer Science · #Security and Verification in Computing #Logic, programming, and type systems #Distributed systems and fault tolerance
- Dijkstra Monads for Free
2016/08/23 by Ahman, Danel, Hritcu, Catalin, Maillard, Kenji +5 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Martin-Löf à la Coq
2023/10/10 by Adjedj, Arthur, Lennon-Bertrand, Meven, Maillard, Kenji +2 · 4 citations
#D.3.1 #F.3.2 #F.3.3 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Dijkstra Monads for All
2019/03/04 by Kenji Maillard, Maillard, Kenji, Danel Ahman +11 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL