@article{lgk-pj-2022, author={Kuang-Chen Lu and Ben Greenman and Shriram Krishnamurthi}, title={Types for Tables: A Language Design Benchmark}, journal={Programming}, volume={6}, number={2}, pages={8:1--8:30}, year={2022} }