A Primitive Calculus for Module Systems.

Davide Ancona Elena Zucca A Primitive Calculus for Module Systems. 62-79 1999 conf/ppdp/1999 PPDP db/conf/ppdp/ppdp1999.html#AnconaZ99