A trustworthy mechanized formalization of R.

Martin Bodin, Toms Diaz, ric Tanter

Browse the full DLS paper archive.