@ARTICLE {
	AUTHOR = "Elizabeth Labrada and Mat{\'{\i}}as Toro and {\'E}ric Tanter",
	TITLE ="Gradual System F",
	JOURNAL = "Journal of the ACM (JACM)",
	VOLUME = "69",
	NUMBER = "5",
	PAGES = "38:1-38:78",
	MONTH = "Oct",
	YEAR = "2022",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0004-5411"
	}