@INPROCEEDINGS {
	AUTHOR = "Nicol{\'a}s Lehmann and {\'E}ric Tanter",
	TITLE = "Gradual Refinement Types",
	BOOKTITLE = "44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)",
	PAGES = "775-788",
	YEAR = "2017",
	ADDRESS = "Paris, France",
	PUBLISHER = "ACM Press",
	}