An Idealized MetaML: Simpler, and More Expressive.

Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Browse the full ESOP paper archive.