@conference {rytz2013flow,
	title = {A flow-insensitive, modular effect system for purity},
	booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs},
	year = {2013},
	pages = {4},
	publisher = {ACM},
	organization = {ACM},
	author = {Rytz, Lukas and Amin, Nada and Odersky, Martin}
}
