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

by T Hirschowitz, X Leroy, Wells
Venue:Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Lecture Notes in Computer Science