urn:https-utahplt-github-io:-blog-index-html 2026-07-14T19:19:41Z urn:https-utahplt-github-io:-blog-2026-07-curry-festschrift-book-on-internet-archive-html 2026-07-14T19:19:41Z 2026-07-14T19:19:41Z Utah PLT <a href="https://utahplt.github.io/blog/2026/07/curry-festschrift-book-on-internet-archive.html?utm_source=all&amp;utm_medium=Atom"><em>More&hellip;</em></a> urn:https-utahplt-github-io:-blog-2025-12-nice-to-meet-you-synthesizing-practical-mlir-abstract-transformers-html 2025-12-10T22:18:27Z 2025-12-10T22:18:27Z Utah PLT <a href="https://utahplt.github.io/blog/2025/12/nice-to-meet-you-synthesizing-practical-mlir-abstract-transformers.html?utm_source=all&amp;utm_medium=Atom"><em>More&hellip;</em></a> urn:https-utahplt-github-io:-blog-2025-06-lightweight-diagramming-for-lightweight-formal-methods-https-blog-brownplt-org-2025-06-09-copeanddrag-html-html 2025-06-09T05:11:11Z 2025-06-09T05:11:11Z Utah PLT urn:https-utahplt-github-io:-blog-2024-12-toward-a-corpus-study-of-the-dynamic-gradual-type-https-dibrinsofor-github-io-logs-chasing-anys-html 2024-12-02T17:56:01Z 2024-12-02T17:56:01Z Utah PLT urn:https-utahplt-github-io:-blog-2024-10-forge-has-got-my-goat-https-www-dominicmkennedy-com-blog-forge-has-got-my-goat-html 2024-10-17T17:29:22Z 2024-10-17T17:29:22Z Utah PLT urn:https-utahplt-github-io:-blog-2024-08-ltl-tutor-https-blog-brownplt-org-2024-08-08-ltltutor-html-html 2024-08-08T05:11:11Z 2024-08-08T05:11:11Z Utah PLT urn:https-utahplt-github-io:-blog-2024-07-evolving-languages-faster-with-type-tailoring-https-lambdaland-org-posts-2024-07-15-type-tailoring-html 2024-07-26T18:07:34Z 2024-07-26T18:07:34Z Utah PLT urn:https-utahplt-github-io:-blog-2024-07-misconceptions-in-finite-trace-and-infinite-trace-linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html-html 2024-07-07T05:11:11Z 2024-07-07T05:11:11Z Utah PLT urn:https-utahplt-github-io:-blog-2024-06-chorex-guaranteeing-deadlock-freedom-in-elixir-https-lambdaland-org-posts-2024-06-03-chorex-0-1-html 2024-06-03T18:29:25Z 2024-06-03T18:29:25Z Utah PLT urn:https-utahplt-github-io:-blog-2024-04-forge-a-tool-to-teach-formal-methods-https-blog-brownplt-org-2024-04-21-forge-html-html 2024-04-21T05:11:11Z 2024-04-21T05:11:11Z Utah PLT urn:https-utahplt-github-io:-blog-2024-02-privacy-respecting-type-error-telemetry-at-scale-https-blog-brownplt-org-2024-02-02-privacy-telemetry-html-html 2024-02-02T06:11:11Z 2024-02-02T06:11:11Z Utah PLT urn:https-utahplt-github-io:-blog-2023-10-conceptual-mutation-testing-https-blog-brownplt-org-2023-10-31-conceptual-mutation-testing-html-html 2023-10-31T05:11:11Z 2023-10-31T05:11:11Z Utah PLT urn:https-utahplt-github-io:-blog-2023-09-generating-programs-trivially-student-use-of-large-language-models-https-blog-brownplt-org-2023-09-19-generating-programs-trivially-html-html 2023-09-19T05:11:11Z 2023-09-19T05:11:11Z Utah PLT 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=all&amp;utm_medium=Atom"><em>More&hellip;</em></a> urn:https-utahplt-github-io:-blog-2023-06-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023-html 2023-06-26T05:11:11Z 2023-06-26T05:11:11Z Utah PLT