Monadic Type-And-Effect Soundness.

Francesco Dagnino, Paola Giannini, Elena Zucca

Browse the full ECOOP paper archive.