"On the expressive power of user-defined effects: effect handlers, monadic ..."

Yannick Forster et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics