Heuristics for type error discovery and recovery

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4449 LNCS, Issue , 2007, Pages 199-216

  Hage, Jurriaan ^a   Heeren, Bastiaan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Constraints; Error messages; Error recovery; Heuristics; Type graph; Type inferencing

Indexed keywords

ALGORITHMS; COMPUTER SYSTEM RECOVERY; CONSTRAINT THEORY; ERROR DETECTION; FUNCTIONAL PROGRAMMING; INFERENCE ENGINES; PROBLEM SOLVING;

ERROR DISCOVERY; ERROR MESSAGES; TYPE GRAPH; TYPE INFERENCING;

HEURISTIC METHODS;

EID: 38049153096     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74130-5_12     Document Type: Conference Paper

References (16)

1. Hage, J., Heeren, B.: Ordering type constraints: A structured approach. Technical Report UU-CS-2005-016, Department of Information and Computing Science, Utrecht University, Netherlands, Technical Report (April 2005)
2. Heeren, B.: Top Quality Type Error Messages. PhD thesis, Universiteit Utrecht, The Netherlands, http://www.cs.uu.nl/people/bastiaan/phdthesis(2005)
3. Heeren, B., Hage, J.: A first attempt at type class directives. Technical Report UU-CS-2002-031, Department of Information and Computing Science, University Utrecht, Netherlands, Technical Report (September 2004)
4. Heeren, B., Hage, J.: Type class directives. In: Seventh International Symposium on Practical Aspects of Declarative Languages, pp. 253-267. Springer, Heidelberg (2005)
5. Heeren, B., Hage, J., Swierstra, S.D.: Scripting the type inference process. In: Eighth ACM Sigplan International Conference on Functional Programming, pp. 3-13. ACM Press, New York (2003)
6. Heeren, B., Leijen, D., van Uzendoorn, A.: Helium, for learning Haskell. In: ACM Sigplan 2003 Haskell Workshop, pp. 62-71. ACM Press, New York (2003)
7. Langebaerd, A.: Repair systems, automatic correction of type errors in functional programs. http://www.cs. uu.nl/wiki/Top/Publications
8. Lee, O., Yi, K.: Proofs about a folklore let-polymorphic type inference algorithm. ACM Transactions on Programming Languages and Systems 20(4), 707-723 (July 1998)
9. McAdam, B.J.: Generalising techniques for type debugging. In: Trinder, P.,Michaelson, G., Loidl, H-W. (eds.), Trends in Functional Programming, Bristol, UK, Intellect, vol. 1, pp. 50-59 (2000)
10. McAdam, B.J.: How to repair type errors automatically. Trends in Functional Programming 3, 87-98 (2002)
11. Port, G.S.: A simple approach to finding the cause of non-unifiability. In: Kowalski, R.A., Bowen, KA. (eds.) Proceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 651-665. The MIT Press, Cambridge (1988)
12. Stuckey, P.J., Sulzmann, M., Wazny, J.: Interactive type debugging in Haskell. In: Haskell'03: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 72-83. ACM Press, New York (2003)
13. Stuckey, P.J., Sulzmann, M., Wazny, J.: Improving type error diagnosis. In: Haskell'04: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 80-91. ACM Press, New York (2004)
14. Walz, J.A., Johnson, G.F.: A maximum flow approach to anomaly isolation in unificationbased incremental type inference. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, pp. 44-57, St. Petersburg, FL (January 1986)
15. Yang, J.: Explaining type errors by finding the sources of type conflicts. In: Greg Michaelson, Phil Trindler, and Hans-Wolfgang Loidl, editors, Trends in Functional Programming, pp. 58-66. Intellect Books (2000)
16. Yang, J., Michaelson, G., Trinder, P.: Explaining polymorphic types. The. Computer Journal 45(4), 436-452 (2002)