Author:
Rahli Vincent,Wells Joe,Pirie John,Kamareddine Fairouz
Subject
Computational Mathematics,Algebra and Number Theory
Reference67 articles.
1. A critique of Standard ML;Appel;J. Funct. Program.,1993
2. Explaining type errors in polymorphic languages;Beaven;ACM Lett. Program. Lang. Syst.,1993
3. Hierarchical modularity and intermodule optimization;Blume,1997
4. Dependency analysis for Standard ML;Blume;ACM Trans. Program. Lang. Syst.,1999
5. Improving type error messages for Generic Java;El Boustani,2009
Cited by
4 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. Heuristics-based Type Error Diagnosis for Haskell;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
3. Compiler Error Messages Considered Unhelpful;Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education;2019-12-18
4. A Common Framework Using Expected Types for Several Type Debugging Approaches;Functional and Logic Programming;2018