@ARTICLE {
	AUTHOR = "Josselin Poiret and Gaetan Gilbert and Kenji Maillard and Pierre-Marie P{\'e}drot and Matthieu Sozeau and Nicolas Tabareau and {\'E}ric Tanter",
	TITLE ="All Your Base are Belong to Us: Sort Polymorphism for Proof Assistants",
	JOURNAL = "Proceedings of the ACM Programming Languages (PACMPL)",
	VOLUME = "9",
	NUMBER = "POPL",
	PAGES = "2253-2281",
	MONTH = "Jan",
	YEAR = "2025",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN ="2475-1421",
	}