Most Notable Paper Award
summary
Awards a 10‑year retrospective selection that measures the runtime cost of gradual typing using micro and macro benchmarks, compares several cast insertion strategies for protecting object boundaries, and proposes a hybrid cast insertion that balances checking cost and runtime overhead. The work demonstrates which strategies cause large penalty vs. near‑native performance across realistic workloads and traces its influence in later gradual‑typing systems by showing the hybrid approach is repeatedly reused.
AI-written summary · about