Mixin modules and computational effects (2003)

by D ANCONA, S FAGORZI, E MOGGI, E ZUCCA
Venue:In International Colloquium on Automata, Languages and Programming (ICALP