Another recent (2020) work on types for R: "Designing types for R, empirically" https://dl.acm.org/doi/abs/10.1145/3428249