@INPROCEEDINGS {
	AUTHOR = "Mat{\'{\i}}as Toro and {\'E}ric Tanter",
	TITLE = "A Gradual Interpretation of Union Types",
	EDITOR = "Francesco Ranzato",
	BOOKTITLE = "24th Static Analysis Symposium (SAS)",
	PAGES = "382-404",
	MONTH = "Aug",
	YEAR = "2017",
	ADDRESS = "New York City, NY, USA",
	PUBLISHER = "Springer International Publishing AG",
	SERIES ="Lecture Notes in Computer Science",
	NUMBER = "10422",
	ISBN = "978-3-319-66705-8",
	}