![[Utah PLT logo]](/img/utahplt.svg)
Evolving Languages Faster with Type Tailoring
Misconceptions In Finite-Trace and Infinite-Trace Linear Temporal Logic
Forge: A Tool to Teach Formal Methods
Privacy-Respecting Type Error Telemetry at Scale
Conceptual Mutation Testing
Generating Programs Trivially: Student Use of Large Language Models
GTP Benchmarks for Gradual Typing Performance
Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.