Author:
Tsushima Kanae,Chitil Olaf
Publisher
Springer International Publishing
Reference13 articles.
1. Chen, S., Erwig, M.: Counter-factual typing for debugging type errors. In: POPL 2014, pp. 583–594 (2014)
2. Chitil, O.: Compositional explanation of types and algorithmic debugging of type errors. In: ICFP 2001, pp. 193–204 (2001)
3. Haack, C., Wells, J.B.: Type error slicing in implicitly typed higher-order languages. Sci. Comput. Program. 50(1–3), 189–224 (2004). Special issue ESOP 2003
4. Heeren, B., Hage, J., Swierstra, S.: Constraint based type inferencing in Helium. In: Immediate Applications of Constraint Programming (ACP), pp. 57–78 (2003)
5. Ishii, Y., Asai, K.: Report on a user test and extension of a type debugger for novice programmers. In: Post Conference Proceedings of International Workshop on Trends in Functional Programming in Education, pp. 1–18 (2014)