"Combining predicate transformer semantics for effects: a case study in ..."

Anne Baanen, Wouter Swierstra (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics