@INPROCEEDINGS {
	AUTHOR = "Niki Vazou and {\'E}ric Tanter and David Van Horn",
	TITLE = "Gradual Liquid Type Inference",
	BOOKTITLE = "33rd ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)",
	PAGES = "132:1-132:25",
	MONTH = "Nov",
	YEAR = "2018",
	PUBLISHER = "ACM Press",
	}