2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2026★ 2 cited
Type-Error Ablation and AI Coding Agents
Shriram Krishnamurthi, Matthew Flatt
Programming language implementors have designed error messages with one consumer in mind: the human programmer. Human-factors research has consistently found that programmers engag…
cs.PL2024
A Calculus for Unreachable Code
Peter Zhong, Shu-Hung You, Simone Campanoni +3
In Racket, the LLVM IR, Rust, and other modern languages, programmers and static analyses can hint, with special annotations, that certain parts of a program are unreachable. Same…