@ARTICLE {
	AUTHOR = "Mat{\'{\i}}as Toro and Federico Olmedo",
	TITLE ="A Gradual Probabilistic Lambda Calculus",
	JOURNAL = "Proceedings of the ACM Programming Languages (PACMPL)",
	VOLUME = "7",
	NUMBER = "84",
	PAGES = "256-285",
	MONTH = "Apr",
	YEAR = "2023",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN ="2475-1421",
	}