TY  - RPRT
TI  - Types for Tables: A Language Design Benchmark
AU  - Kuang-Chen Lu
AU  - Ben Greenman
AU  - Shriram Krishnamurthi
PY  - 2021
DO  - 10.22152/programming-journal.org/2022/6/8
UR  - https://arxiv.org/abs/2111.10412
ID  - 2111.10412
ER  -