A trustworthy mechanized formalization of R - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Martin Bodin' in GoogleThis author has not been identified. Look up 'Tomás Diaz' in GoogleThis author has not been identified. It may be one of the following persons:

Éric Tanter

Look up 'Éric Tanter' in Google

runs on WebDSL