Another recent (2020) work on types for R: "Designing types for R, empirically" ...

		programLyrique on April 11, 2023 \| parent \| context \| favorite \| on: Dependently Typing R Vectors, Arrays, and Matrices Another recent (2020) work on types for R: "Designing types for R, empirically" https://dl.acm.org/doi/abs/10.1145/3428249