{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:11Z","timestamp":1763467811419},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540741299"},{"type":"electronic","value":"9783540741305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74130-5_12","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T11:32:56Z","timestamp":1187004776000},"page":"199-216","source":"Crossref","is-referenced-by-count":19,"title":["Heuristics for Type Error Discovery and Recovery"],"prefix":"10.1007","author":[{"given":"Jurriaan","family":"Hage","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastiaan","family":"Heeren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"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)"},{"key":"12_CR2","unstructured":"Heeren, B.: Top Quality Type Error Messages. PhD thesis, Universiteit Utrecht, The Netherlands (2005), http:\/\/www.cs.uu.nl\/people\/bastiaan\/phdthesis"},{"key":"12_CR3","unstructured":"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)"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-540-30557-6_19","volume-title":"Seventh International Symposium on Practical Aspects of Declarative Languages","author":"B. Heeren","year":"2005","unstructured":"Heeren, B., Hage, J.: Type class directives. In: Seventh International Symposium on Practical Aspects of Declarative Languages, pp. 253\u2013267. Springer, Heidelberg (2005)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/944705.944707","volume-title":"Eighth ACM Sigplan International Conference on Functional Programming","author":"B. Heeren","year":"2003","unstructured":"Heeren, B., Hage, J., Swierstra, S.D.: Scripting the type inference process. In: Eighth ACM Sigplan International Conference on Functional Programming, pp. 3\u201313. ACM Press, New York (2003)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/871895.871902","volume-title":"ACM Sigplan 2003 Haskell Workshop","author":"B. Heeren","year":"2003","unstructured":"Heeren, B., Leijen, D., van IJzendoorn, A.: Helium, for learning Haskell. In: ACM Sigplan 2003 Haskell Workshop, pp. 62\u201371. ACM Press, New York (2003)"},{"key":"12_CR7","unstructured":"Langebaerd, A.: Repair systems, automatic correction of type errors in functional programs. http:\/\/www.cs.uu.nl\/wiki\/Top\/Publications"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1145\/291891.291892","volume":"20","author":"O. Lee","year":"1998","unstructured":"Lee, O., Yi, K.: Proofs about a folklore let-polymorphic type inference algorithm. ACM Transanctions on Programming Languages and Systems\u00a020(4), 707\u2013723 (1998)","journal-title":"ACM Transanctions on Programming Languages and Systems"},{"key":"12_CR9","unstructured":"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\u201359 (2000)"},{"key":"12_CR10","first-page":"87","volume":"3","author":"B.J. McAdam","year":"2002","unstructured":"McAdam, B.J.: How to repair type errors automatically. Trends in Functional Programming\u00a03, 87\u201398 (2002)","journal-title":"Trends in Functional Programming"},{"key":"12_CR11","first-page":"651","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"G.S. Port","year":"1988","unstructured":"Port, G.S.: A simple approach to finding the cause of non-unifiability. In: Kowalski, R.A., Bowen, K.A. (eds.) Proceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 651\u2013665. The MIT Press, Cambridge (1988)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/871895.871903","volume-title":"Haskell 2003: Proceedings of the ACM SIGPLAN Workshop on Haskell","author":"P.J. Stuckey","year":"2003","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: Interactive type debugging in Haskell. In: Haskell 2003: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 72\u201383. ACM Press, New York (2003)"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/1017472.1017486","volume-title":"Haskell 2004: Proceedings of the ACM SIGPLAN Workshop on Haskell","author":"P.J. Stuckey","year":"2004","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: Improving type error diagnosis. In: Haskell 2004: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 80\u201391. ACM Press, New York (2004)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Walz, J.A., Johnson, G.F.: A maximum flow approach to anomaly isolation in unification-based incremental type inference. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, pp. 44\u201357, St. Petersburg, FL (January 1986)","DOI":"10.1145\/512644.512649"},{"key":"12_CR15","unstructured":"Yang, J.: Explaining type errors by finding the sources of type conflicts. In: Michaelson, G., Trindler, P., Loidl, H.-W. (eds.) Trends in Functional Programming. Intellect Books, pp. 58\u201366 (2000)"},{"issue":"4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1093\/comjnl\/45.4.436","volume":"45","author":"J. Yang","year":"2002","unstructured":"Yang, J., Michaelson, G., Trinder, P.: Explaining polymorphic types. The Computer Journal\u00a045(4), 436\u2013452 (2002)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74130-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:11:45Z","timestamp":1619503905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74130-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540741299","9783540741305"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74130-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}