Cited By
View all- Kidney DYang ZWu N(2024)Algebraic Effects Meet Hoare Logic in Cubical AgdaProceedings of the ACM on Programming Languages10.1145/36328988:POPL(1663-1695)Online publication date: 5-Jan-2024
- Goncharov SMilius SSilva A(2020)Toward a Uniform Theory of Effectful State MachinesACM Transactions on Computational Logic10.1145/337288021:3(1-63)Online publication date: 13-Mar-2020
- Maillard KAhman DAtkey RMartínez GHriţcu CRivas ETanter É(2019)Dijkstra monads for allProceedings of the ACM on Programming Languages10.1145/33417083:ICFP(1-29)Online publication date: 26-Jul-2019
- Show More Cited By