@INPROCEEDINGS {
	AUTHOR = "Esteban Allende and Johan Fabry and {\'E}ric Tanter",
	TITLE = "Cast Insertion Strategies for Gradually-Typed Objects",
	BOOKTITLE = "9th Dynamic Languages Symposium (DLS)",
	PAGES = "27-36",
	MONTH = "Oct",
	YEAR = "2013",
	ADDRESS = "Indianapolis, Indiana",
	PUBLISHER = "ACM Press",
	}