Lu, K., Greenman, B., & Krishnamurthi, S. (2022). Types for Tables: A Language Design Benchmark. The Art, Science, and Engineering of Programming, 6(2), 8:1–8:30. https://doi.org/10.22152/programming-journal.org/2022/6/8