An Idealized MetaML: Simpler, and More Expressive (1999)

by Eugenio Moggi , Walid Taha , Zine El-abidine Benaissa , Tim Sheard
Citations:32 - 13 self