Author:
Serrano Alejandro,Hage Jurriaan
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Lecture Notes in Computer Science;J Bailey,2005
2. Christiansen, D.R.: Reflect on Your Mistakes!. Lightweight Domain-Specific Error Messages, Presented at TFP (2014)
3. Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1982, NY, USA, pp. 207–212. ACM, New York (1982)
4. Diatchki, I.: Custom type errors.
https://ghc.haskell.org/trac/ghc/wiki/Proposal/CustomTypeErrors
5. Giorgidze, G., Grust, T., Schweinsberg, N., Weijers, J.: Bringing back monad comprehensions. In: Proceedings of the 4th ACM Symposium on Haskell, Haskell 2011, NY, USA, pp. 13–22. ACM, New York (2011)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Migrating gradual types;Journal of Functional Programming;2022
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. Describing microservices using modern Haskell (experience report);Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09
4. Compiler Error Messages Considered Unhelpful;Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education;2019-12-18
5. Type errors for the IDE with Xtext and Xsemantics;Open Computer Science;2019-03-26