Benaissa, Zine-El-Abidine; Moggi, Eugenio; Taha, Walid and Sheard Tim "An Idealized MetaML: simpler, and more expressive"

(1999)

(1999) European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science  

Languages mentioned