Matthew Flatt

Identifiers

• name variant Matthew Flatt 0.60 · backfill

Papers (1)

1. Type-Error Ablation and AI Coding Agents cs.PL · 2026 · author #2

Mentions

• 2606.01522 #2 · arxiv_oai · confidence 0.70 Matthew Flatt

Frequent Coauthors

• Shriram Krishnamurthi 1 shared papers