{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:28:56Z","timestamp":1761978536115,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415814"},{"type":"electronic","value":"9783642415821"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41582-1_12","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T12:38:21Z","timestamp":1384519101000},"page":"190-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["An Embedded Type Debugger"],"prefix":"10.1007","author":[{"given":"Kanae","family":"Tsushima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"Asai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Chitil, O.: Compositional explanation of types and algorithmic debugging of type errors. In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP\u201901), pp. 193\u2013204 (2001)","DOI":"10.1145\/507669.507659"},{"key":"12_CR2","first-page":"196","volume-title":"FLOPS 2004. LNCS","author":"J Garrigue","year":"2004","unstructured":"Garrigue, J.: Relaxing the value restriction. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 196\u2013213. Springer, Heidelberg (2004)"},{"key":"12_CR3","first-page":"284","volume-title":"ESOP 2003. LNCS","author":"C Haack","year":"2003","unstructured":"Haack, C., Wells, J.B.: Type error slicing in implicitly typed higher-order languages. In: Degano, P. (ed.) ESOP 2003. LNCS, vol. 2618, pp. 284\u2013301. Springer, Heidelberg (2003)"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/227699.227700","volume":"18","author":"C Hall","year":"1996","unstructured":"Hall, C., Hammond, K., Jones, S.P., Wadler, P.: Type classes in Haskell. ACM Trans. Program. Lang. Syst. (TOPLAS) 18(2), 241\u2013256 (1996)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"12_CR5","unstructured":"Heeren, B., Hage, J.: Parametric type inferencing for Helium. Technical Report UU-CS-2002-035, Utrecht University (2002)"},{"issue":"4","key":"12_CR6","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 Trans. Program. Lang. Syst. 20(4), 707\u2013723 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Lerner, B.S., Flower, M., Grossman, D., Chambers, C.: Searching for type-error messages. In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201907), pp. 425\u2013434 (2007)","DOI":"10.1145\/1273442.1250783"},{"key":"12_CR8","first-page":"49","volume-title":"Trends in Functional Programming","author":"BJ McAdam","year":"2000","unstructured":"McAdam, B.J.: Generalising techniques for type debugging, chapter 6. In: Trinder, P., Michaelson, G., Loidl, H.-W. (eds.) Trends in Functional Programming, pp. 49\u201357. Intellect, Portland (2000)"},{"key":"12_CR9","unstructured":"Nilsson, H.: Declarative debugging for lazy functional languages. Ph.D. thesis, Link\u00f6ping, Sweden (1998)"},{"key":"12_CR10","first-page":"1","volume-title":"TFP 2011. LNCS","author":"T Schilling","year":"2012","unstructured":"Schilling, T.: Constraint-free type error slicing. In: Pe\u00f1a, R., Page, R. (eds.) TFP 2011. LNCS, vol. 7193, pp. 1\u201316. Springer, Heidelberg (2012)"},{"key":"12_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic program debugging","author":"EY Shapiro","year":"1983","unstructured":"Shapiro, E.Y.: Algorithmic program debugging. MIT Press, Cambridge (1983)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Silva, J., Chitil, O.: Combining algorithmic debugging and program slicing. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP\u201906), pp. 157\u2013166 (2006)","DOI":"10.1145\/1140335.1140355"},{"key":"12_CR13","unstructured":"Simon, A., Chitil, O., Huch, F.: Typeview: a tool for understanding type errors. In: Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, pp. 63\u201369 (2000)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Stuckey, P. J., Sulzmann, M., Wazny, J.: Interactive type debugging in Haskell. In: Proceedings of the 2003 ACM SIGPLAN Workshop on Haskell (Haskell\u201903), pp. 72\u201383 (2003)","DOI":"10.1145\/871895.871903"},{"key":"12_CR15","unstructured":"Tsushima, K., Asai, K.: Report on an OCaml type debugger. In: ACM SIGPLAN Workshop on ML, 3 p. (2011)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Wand, M.: Finding the source of type errors. In: Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL\u201986), pp. 38\u201343 (1986)","DOI":"10.1145\/512644.512648"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41582-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T20:39:59Z","timestamp":1746045599000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41582-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415814","9783642415821"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41582-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}