{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:39:30Z","timestamp":1725975570924},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319906850"},{"type":"electronic","value":"9783319906867"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90686-7_15","type":"book-chapter","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T17:49:55Z","timestamp":1524505795000},"page":"230-246","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Common Framework Using Expected Types for Several Type Debugging Approaches"],"prefix":"10.1007","author":[{"given":"Kanae","family":"Tsushima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Chitil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,24]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Chen, S., Erwig, M.: Counter-factual typing for debugging type errors. In: POPL 2014, pp. 583\u2013594 (2014)","DOI":"10.1145\/2535838.2535863"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Chitil, O.: Compositional explanation of types and algorithmic debugging of type errors. In: ICFP 2001, pp. 193\u2013204 (2001)","DOI":"10.1145\/507635.507659"},{"issue":"1\u20133","key":"15_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.scico.2004.01.004","volume":"50","author":"C Haack","year":"2004","unstructured":"Haack, C., Wells, J.B.: Type error slicing in implicitly typed higher-order languages. Sci. Comput. Program. 50(1\u20133), 189\u2013224 (2004). Special issue ESOP 2003","journal-title":"Sci. Comput. Program."},{"key":"15_CR4","unstructured":"Heeren, B., Hage, J., Swierstra, S.: Constraint based type inferencing in Helium. In: Immediate Applications of Constraint Programming (ACP), pp. 57\u201378 (2003)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/EPTCS.170.1","volume":"170","author":"Yuki Ishii","year":"2014","unstructured":"Ishii, Y., Asai, K.: Report on a user test and extension of a type debugger for novice programmers. In: Post Conference Proceedings of International Workshop on Trends in Functional Programming in Education, pp. 1\u201318 (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"15_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, 707\u2013723 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Neubauer, M., Thiemann, P.: Discriminative sum types locate the source of type errors. In: ICFP 2003, pp. 15\u201326 (2003)","DOI":"10.1145\/944705.944708"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32037-8_1","volume-title":"Trends in Functional Programming","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). https:\/\/doi.org\/10.1007\/978-3-642-32037-8_1"},{"key":"15_CR9","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":"15_CR10","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 2003), pp. 72\u201383 (2003)","DOI":"10.1145\/871895.871903"},{"key":"15_CR11","unstructured":"Tsushima, K., Asai, K.: Report on an OCaml type debugger. In: ML Workshop, 3 pages (2011)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-41582-1_12","volume-title":"Implementation and Application of Functional Languages","author":"K Tsushima","year":"2013","unstructured":"Tsushima, K., Asai, K.: An embedded type debugger. In: Hinze, R. (ed.) IFL 2012. LNCS, vol. 8241, pp. 190\u2013206. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41582-1_12"},{"issue":"P1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.jsc.2016.07.013","volume":"80","author":"V Rahli","year":"2017","unstructured":"Rahli, V., Wells, J., Pirie, J., Kamareddine, F.: Skalpel. J. Symb. Comput. 80(P1), 164\u2013208 (2017)","journal-title":"J. Symb. Comput."}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90686-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T07:19:29Z","timestamp":1720250369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90686-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319906850","9783319906867"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90686-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}