@INPROCEEDINGS {
	AUTHOR = "Nicolas Tabareau and {\'E}ric Tanter and Matthieu Sozeau",
	TITLE = "Equivalences for Free: Univalent Parametricity for Effective Transport",
	BOOKTITLE = "23rd International Conference on Functional Programming (ICFP)",
	PAGES = "92:1-92:29",
	MONTH = "Sep",
	YEAR = "2018",
	ADDRESS = "Saint Louis, MO, USA",
	PUBLISHER = "ACM Press",
	}