A flow-insensitive, modular effect system for purity.

Lukas Rytz, Nada Amin, Martin Odersky

Browse the full ECOOP paper archive.