@INPROCEEDINGS {
	AUTHOR = "Joseph Eremondi and {\'E}ric Tanter and Ronald Garcia",
	TITLE = "Approximate Normalization for Gradual Dependent Types",
	BOOKTITLE = "24th International Conference on Functional Programming (ICFP)",
	PAGES = "88:1-88:30",
	MONTH = "Aug",
	YEAR = "2019",
	ADDRESS = "Berlin, Germany",
	PUBLISHER = "ACM Press",
	}