Publisher
Springer International Publishing
Reference25 articles.
1. Abraham, R., Erwig, M.: GoalDebug: A Spreadsheet Debugger for End Users. In: 29th IEEE Int. Conf. on Software Engineering, pp. 251–260 (2007)
2. Bernstein, K.L., Stark, E.W.: Debugging type errors. Technical report, State University of New York at Stony Brook (1995)
3. Braßel, B.: Typehope: There is hope for your type errors. In: Int. Workshop on Implementation of Functional Languages (2004)
4. Chen, S., Erwig, M.: Counter-Factual Typing for Debugging Type Errors. In: ACM Symp. on Principles of Programming Languages, pp. 583–594 (2014)
5. Chen, S., Erwig, M., Walkingshaw, E.: An Error-Tolerant Type System for Variational Lambda Calculus. In: ACM Int. Conf. on Functional Programming, pp. 29–40 (2012)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. Migrating gradual types;Journal of Functional Programming;2022
3. Novice Type Error Diagnosis with Natural Language Models;Programming Languages and Systems;2022
4. Improving Type Error Reporting for Type Classes;Functional and Logic Programming;2022
5. Refining the Delta Debugging of Type Errors;33rd Symposium on Implementation and Application of Functional Languages;2021-09