"Dependent types and multi-monadic effects in F."

Nikhil Swamy et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics