urn:https-utahplt-github-io:-blog-tags-by-Ben-Greenman-html 2023-06-28T21:18:44Z urn:https-utahplt-github-io:-blog-2023-06-gtp-benchmarks-for-gradual-typing-performance-html 2023-06-28T21:18:44Z 2023-06-28T21:18:44Z Utah PLT <p>Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.</p><a href="https://utahplt.github.io/blog/2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=by-Ben-Greenman&amp;utm_medium=Atom"><em>More&hellip;</em></a>