Novice Type Error Diagnosis with Natural Language Models
No abstract available.
Related papers
- Learning to blame: localizing novice type errors with data-driven diagnosis OOPSLA 2017
- A Practical Method for Syntactic Error Diagnosis and Recovery PLDI 1982
- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules ESOP 2016
- Improving type error diagnosis Haskell 2004
- Semantic Errors - Diagnosis and Repair PLDI 1982
- Toward general diagnosis of static errors POPL 2014
- Uncovering Principles of Novice Programming POPL 1983
- Error Diagnosis in Finite Communicating Systems CAV 1991