A predicate transformer semantics for effects (functional pearl)
2019 ◽
Vol 3
(ICFP)
◽
pp. 1-26
◽
1980 ◽
Vol 11
(4-5)
◽
pp. 190-192
◽
2009 ◽
Vol 159
(3)
◽
pp. 307-317
◽
2001 ◽
Vol 41
(1)
◽
pp. 1-51
◽
Keyword(s):