@ARTICLE {
	AUTHOR = "Johann Rosain and Tom{\'a}s Diaz and Kenji Maillard and Matthieu Sozeau and Nicolas Tabareau and {\'E}ric Tanter and Theo Winterhalter",
	TITLE ="Bounded Sort Polymorphism with Elimination Constraints",
	JOURNAL = "Proceedings of the ACM Programming Languages (PACMPL)",
	VOLUME = "10",
	NUMBER = "POPL",
	PAGES = "2614-2642",
	MONTH = "Jan",
	YEAR = "2026",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN ="2475-1421",
	}