Author:
Hage Jurriaan,Heeren Bastiaan
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Damas, L. and R. Milner, Principal type schemes for functional programs, in: Principles of Programming Languages (POPL'82), 1982, pp. 207–212
2. Dijkstra, A. and S.D. Swierstra, Ruler: Programming Type Rules, in: FLOPS, 2006, pp. 30–46
3. Hage, J. and B. Heeren, Ordering type constraints: A structured approach, Technical Report UU-CS-2005-016, Department of Information and Computing Science, Utrecht University, Netherlands (2005)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Heuristics-based Type Error Diagnosis for Haskell;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
2. A compiler architecture for domain-specific type error diagnosis;Open Computer Science;2019-02-14
3. A framework for improving error messages in dependently-typed languages;Open Computer Science;2019-01-24
4. Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong);Journal of Functional Programming;2018
5. Type Error Customization in GHC;Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages;2017-08-30