@INPROCEEDINGS {
	AUTHOR = "Ronald Garcia and Alison Clark and {\'E}ric Tanter",
	TITLE = "Abstracting Gradual Typing",
	BOOKTITLE = "43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)",
	PAGES = "429-442",
	YEAR = "2016",
	PUBLISHER = "ACM Press",
	}