O. Chitil. (2001):
Compositional Explanation of Types and Algorithmic Debugging of Type Errors.
In: ICFP '01 Proceedings of 6th ACM SIGPLAN International Conference on Functional Programming,
pp. 193–204,
doi:10.1145/507656.507659.
Available at http://dl.acm.org/citation.cfm?id=507659.
M. Felleisen, R.B. Findler, M. Flatt & S. Krishnamurthi (2014):
How to Design Programs,
2nd edition.
Cambridge: MIT Press.
C. Haack & J.B. Wells (2004):
Type Error Slicing in Implicitly Typed Higher-Order Languages.
In: Science of Computer Programming, the 12th European symposium on programming (ESOP'03) 50,
pp. 189–224,
doi:10.1016/j.scico.2004.01.004.
J. Hage & B. Heeren (2007):
Heuristics for Type Error Discovery and Recovery.
In: Implementation and Application of Functional Languages (IFL'06) 4449,
pp. 199–216,
doi:10.1007/978-3-540-74130-5_12.
B. Heeren, J. Hage & S.D. Swierstra (2003):
Constraint Based Type Inferencing in Helium.
In: Workshop Proceedings of Immediate Applications of Constraint Programming,
pp. 59–80.
G. Marceau, K. Fisler & S. Krishnamurthi (2011):
Measuring the Effectiveness of Error Messages -\@M Designed for Novice Programmers.
In: SIGCSE '11 Proceedings of the 42nd ACM technical symposium on Computer science education,
pp. 499–504,
doi:10.1145/1953163.1953308.
Available at http://dl.acm.org/citation.cfm?id=1953163.1953308.
G. Marceau, K. Fisler & S. Krishnamurthi (2011):
Mind Your Language: On Novices' Interactions -\@M with Error Messages.
In: ONWARD '11 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software,
pp. 3–18,
doi:10.1145/2048237.2048241.
Available at http://dl.acm.org/citation.cfm?id=2048241.
L. Murphy & et al. (2008):
Debugging: The Good, the Bad, and the Quirky – a Qualitative Analysis of -\@M Novices' Strategies.
In: SIGCSE '08 Proceedings of the 39th SIGCSE technical symposium on Computer science education,
pp. 163–167,
doi:10.1145/1352135.1352191.
Available at http://dl.acm.org/citation.cfm?id=1352191.
V. Rahli, J.B. Wells & F. Kamareddine (2010):
A constraint system for a SML type error slicer.
Technical Report.
Technical Report HW-MACS-TR-0079, Heriot-Watt university.
K. Tsushima & K. Asai (2013):
A Weighted Type Error Slicer.
In: Implementation and Application of Functional Languages, Lecture Notes in Computer Science 8241 (IFL' 13),
pp. 190–206.
J. Yang, G. Michaelson, P. Trinder & J.B. Wells (2000):
Improved Type Error Reporting.
In: [Draft] Proc. 12th Int'l Workshop on Implementation of Functional Languages, Aachen, Germany,
pp. 4–7.
Available at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.6846.