Type-directed language extension for effectful computations.

Evgenii Kotelnikov

Browse the full ECOOP paper archive.