@ARTICLE {
	AUTHOR = "Pierre-Evariste Dagand and Nicolas Tabareau and {\'E}ric Tanter",
	TITLE ="Foundations of Dependent Interoperability",
	JOURNAL = "Journal of Functional Programming",
	VOLUME = "28",
	PAGES = "9:1-9:44",
	MONTH = "Mar",
	YEAR = "2018",
	PUBLISHER = "Cambridge University Press",
	ADDRESS = "Cambridge, UK",
	ISSN = "0956-7968"
	}