"Simple and compositional reification of monadic embedded languages."

Josef Svenningsson, Bo Joel Svensson (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics