@INPROCEEDINGS {
	AUTHOR = "Pierre-Marie P{\'e}drot and Nicolas Tabareau and Hans Fehrmann and {\'E}ric Tanter",
	TITLE = "A Reasonably Exceptional Type Theory",
	BOOKTITLE = "24th International Conference on Functional Programming (ICFP)",
	PAGES = "108:1-108:29",
	MONTH = "Aug",
	YEAR = "2019",
	ADDRESS = "Berlin, Germany",
	PUBLISHER = "ACM Press",
	}