Call-by-value mixin modules: Reduction semantics, side effects, types (2004)

by T Hirschowitz, X Leroy, J B Wells
Venue:In Proc. The European Symposium on Programming