Mixin modules in a call-by-value setting (2002)

by T Hirschowitz, X Leroy
Venue:In Proc. ESOP’02