Martin Bodin, Tomás Diaz, Éric Tanter. A trustworthy mechanized formalization of R. In Tim Felgentreff, editor, Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2018, Boston, MA, USA, November 6, 2018. pages 13-24, ACM, 2018. [doi]
Abstract is missing.