References

  1. 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.
  2. M. Felleisen, R.B. Findler, M. Flatt & S. Krishnamurthi (2004): The Structure and Interpretation of -\@M the Computer Science Curriculum. In: Journal of Functional Programming, pp. 365–378, doi:10.1017/S0956796804005076. Available at http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=227683&fileId=S0956796804005076.
  3. M. Felleisen, R.B. Findler, M. Flatt & S. Krishnamurthi (2014): How to Design Programs, 2nd edition. Cambridge: MIT Press.
  4. 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.
  5. 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.
  6. 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.
  7. B. Heeren, J. Hage & S.D. Swierstra (2003): Scripting the Type Inference Process. In: the 8th ACM SIGPLAN international conference on Functional programming (ICFP'03), pp. 3–13, doi:10.1145/944705.944707. Available at http://dl.acm.org/citation.cfm?doid=944705.944707.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. T. Schilling (2012): Constraint Free Type Error Slicing. In: the 12th international conference on Trends in Functional Programming (TFP' 11), pp. 1–16, doi:10.1007/978-3-642-32037-8_1. Available at http://link.springer.com/chapter/10.1007%2F978-3-642-32037-8_1.
  13. E.Y. Shapiro (1983): Algorithmic Program Debugging. Yale. Available at http://dl.acm.org/citation.cfm?id=538679.
  14. J.C. Spohrer & E. Soloway (1986): Novice Mistakes: Are The Folk Wisdoms Correct?. Communications of the ACM 29, pp. 624–632, doi:10.1145/6138.6145. Available at http://dl.acm.org/citation.cfm?id=6145.
  15. P.J. Stuckey, M. Sulzmann & J. Wazny (2003): Interactive Type Debugging in Haskell. In: The 2003 ACM SIGPLAN workshop on Haskell, pp. 72–83, doi:10.1145/871895.871903. Available at http://dl.acm.org/citation.cfm?doid=871895.871903.
  16. K. Tsushima & K. Asai (2012): An Embedded Type Debugger. In: Implementation and Application of Functional Languages (IFL' 12) 8241, pp. 190–206, doi:10.1007/978-3-642-41582-1_12. Available at http://link.springer.com/chapter/10.1007/978-3-642-41582-1_12.
  17. 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.
  18. J. Yang (2010): Explaining Type Errors by Finding the Source of a Type Conflict. In: Trends in Functional Programming, pp. 58–66. Available at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.8146.
  19. 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.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org