Utah PLT: Posts tagged 'by Ben Greenman' https://utahplt.github.io/blog/tags/by-Ben-Greenman.html Wed, 28 Jun 2023 21:18:44 UT Wed, 28 Jun 2023 21:18:44 UT 1800 https://utahplt.github.io/blog/2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=by-Ben-Greenman&utm_medium=RSS urn:https-utahplt-github-io:-blog-2023-06-gtp-benchmarks-for-gradual-typing-performance-html Wed, 28 Jun 2023 21:18:44 UT 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=RSS"><em>More&hellip;</em></a>