@INPROCEEDINGS {
	AUTHOR = "Felipe Ba{\~n}ados and Ronald Garcia and {\'E}ric Tanter",
	TITLE = "A Theory of Gradual Effect Systems",
	BOOKTITLE = "19th International Conference on Functional Programming (ICFP)",
	PAGES = "283-295",
	MONTH = "Sep",
	YEAR = "2014",
	ADDRESS = "Gothenburg, Sweden",
	PUBLISHER = "ACM Press",
	}