@INPROCEEDINGS {
	AUTHOR = "Mat{\'{\i}}as Toro and Elizabeth Labrada and {\'E}ric Tanter",
	TITLE = "Gradual Parametricity, Revisited",
	BOOKTITLE = "46th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)",
	PAGES = "17:1-17:30",
	MONTH = "Jan",
	YEAR = "2019",
	ADDRESS = "Cascais, Portugal",
	PUBLISHER = "ACM Press",
	}