Types for Tables: A Language Design Benchmark
.
Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi.
Programming 6.2
Supplementary material:
Extended paper, with a full copy of the benchmark
(pdf)
.
Zenodo archive
doi.org/10.5281/zenodo.5507463
.
B2T2 Source,
main
branch
github.com/brownplt/b2t2
.
B2T2 version 1.0 release
github.com/brownplt/b2t2/releases/tag/v1.0
.