GTP Benchmarks for Gradual Typing Performance 2023-06-28 Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.