@INPROCEEDINGS {
	AUTHOR = "Esteban Allende and Johan Fabry and Ronald Garcia and {\'E}ric Tanter",
	TITLE = "Confined Gradual Typing",
	BOOKTITLE = "ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)",
	PAGES = "241-270",
	MONTH = "Oct",
	YEAR = "2014",
	ADDRESS = "Portland, OR, USA",
	PUBLISHER = "ACM Press",
	}