@ARTICLE {
	AUTHOR = "Stefan Malewski and Kenji Maillard and Nicolas Tabareau and {\'E}ric Tanter",
	TITLE ="Gradual Indexed Inductive Types",
	JOURNAL = "Proceedings of the ACM Programming Languages (PACMPL)",
	VOLUME = "8",
	NUMBER = "ICFP",
	PAGES = "544-572",
	MONTH = "Aug",
	YEAR = "2024",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN ="2475-1421",
	}