Lukas Rytz, Nada Amin, and Martin Odersky. 2013. “A flow-insensitive, modular effect system for purity.” In Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, Pp. 4. ACM.