@ARTICLE { AUTHOR = "Felipe Ba{\~n}ados and Ronald Garcia and {\'E}ric Tanter", TITLE ="A Theory of Gradual Effect Systems", JOURNAL = "ACM SIGPLAN Notices (SIGPLAN)", VOLUME = "49", NUMBER = "9", PAGES = "283-295", MONTH = "Sep", YEAR = "2014", PUBLISHER = "ACM Press", ADDRESS = "New York, NY, USA", ISSN = "0362-1340" }