T.: An idealized MetaML: Simpler, and more expressive (1999)

by E Moggi, W Taha, Z E A Benaissa, Sheard
Venue:In: Proc. of ESOP’99. Volume 1576 of LNCS