@ARTICLE {
	AUTHOR = "Felipe Ba{\~n}ados and Ronald Garcia and {\'E}ric Tanter",
	TITLE ="Gradual Type-and-Effect Systems",
	JOURNAL = "Journal on Functional Programming",
	VOLUME = "26",
	PAGES = "e19",
	MONTH = "Sep",
	YEAR = "2016",
	PUBLISHER = "Cambridge University Press",
	ADDRESS = "Cambridge, UK",
	ISSN = "0956-7968"
	}