TY  - RPRT
TI  - Dependently Typing R Vectors, Arrays, and Matrices
AU  - John Wrenn
AU  - Anjali Pal
AU  - Alexa VanHattum
AU  - Shriram Krishnamurthi
PY  - 2023
UR  - https://arxiv.org/abs/2304.04265
ID  - 2304.04265
ER  -