Types for Tables: A Language Design Benchmark.
Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi.
Programming 6.2
Supplementary material: