A trustworthy mechanized formalization of R

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2018 ◽

10.1145/3276945.3276946 ◽

2018 ◽

Cited By ~ 2

Author(s):

Martin Bodin ◽

Tomás Diaz ◽

Éric Tanter

Download Full-text