An idealized MetaML: Simpler, and more expressive (includes proofs (1998)

by E Moggi, W Taha, Z Benaissa, T Sheard