@ARTICLE {
	AUTHOR = "Ronald Garcia and Alison Clark and {\'E}ric Tanter",
	TITLE ="Abstracting Gradual Typing",
	JOURNAL = "ACM SIGPLAN Notices (SIGPLAN)",
	VOLUME = "51",
	NUMBER = "1",
	PAGES = "429-442",
	MONTH = "Jan",
	YEAR = "2016",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0362-1340"
	}