@INPROCEEDINGS {
	AUTHOR = "Martin Bodin and Tom{\'a}s Diaz and {\'E}ric Tanter",
	TITLE = "A Trustworthy Mechanized Formalization of R",
	BOOKTITLE = "14th Dynamic Languages Symposium (DLS)",
	PAGES = "13-24",
	MONTH = "Nov",
	YEAR = "2018",
	ADDRESS = "Boston, MA, USA",
	PUBLISHER = "ACM Press",
	}