"An Idealized MetaML: Simpler, and More Expressive."

Eugenio Moggi et al. (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics