@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}
}