{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,11]],"date-time":"2026-09-11T04:31:44Z","timestamp":1789101104235,"version":"build-2803163510"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319071503","type":"print"},{"value":"9783319071510","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_3","type":"book-chapter","created":{"date-parts":[[2014,5,21]],"date-time":"2014-05-21T23:30:14Z","timestamp":1400715014000},"page":"35-51","source":"Crossref","is-referenced-by-count":12,"title":["Guided Type Debugging"],"prefix":"10.1007","author":[{"given":"Sheng","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Erwig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: GoalDebug: A Spreadsheet Debugger for End Users. In: 29th IEEE Int. Conf. on Software Engineering, pp. 251\u2013260 (2007)","DOI":"10.1109\/ICSE.2007.39"},{"key":"3_CR2","unstructured":"Bernstein, K.L., Stark, E.W.: Debugging type errors. Technical report, State University of New York at Stony Brook (1995)"},{"key":"3_CR3","unstructured":"Bra\u00dfel, B.: Typehope: There is hope for your type errors. In: Int. Workshop on Implementation of Functional Languages (2004)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Chen, S., Erwig, M.: Counter-Factual Typing for Debugging Type Errors. In: ACM Symp. on Principles of Programming Languages, pp. 583\u2013594 (2014)","DOI":"10.1145\/2535838.2535863"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Chen, S., Erwig, M., Walkingshaw, E.: An Error-Tolerant Type System for Variational Lambda Calculus. In: ACM Int. Conf. on Functional Programming, pp. 29\u201340 (2012)","DOI":"10.1145\/2398856.2364535"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2518190","volume":"36","author":"S. Chen","year":"2014","unstructured":"Chen, S., Erwig, M., Walkingshaw, E.: Extending Type Inference to Variational Programs. ACM Trans. on Programming Languages and Systems\u00a036(1), 1\u201354 (2014)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Chitil, O.: Compositional explanation of types and algorithmic debugging of type errors. In: ACM Int. Conf. on Functional Programming, pp. 193\u2013204 (September 2001)","DOI":"10.1145\/507669.507659"},{"key":"3_CR8","unstructured":"Chitil, O., Huch, F., Simon, A.: Typeview: A tool for understanding type errors. In: International Workshop on Implementation of Functional Languages, pp. 63\u201369 (2000)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-36575-3_20","volume-title":"Programming Languages and Systems","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.\u00a02618, pp. 284\u2013301. Springer, Heidelberg (2003)"},{"key":"3_CR10","unstructured":"Hage, J.: Helium benchmark programs. Private Communication (2002-2005)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-74130-5_12","volume-title":"Implementation and Application of Functional Languages","author":"J. Hage","year":"2007","unstructured":"Hage, J., Heeren, B.: Heuristics for type error discovery and recovery. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 199\u2013216. Springer, Heidelberg (2007)"},{"key":"3_CR12","unstructured":"Heeren, B.J.: Top Quality Type Error Messages. PhD thesis, Universiteit Utrecht, The Netherlands (September 2005)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Johnson, G.F., Walz, J.A.: A maximum-flow approach to anomaly isolation in unification-based incremental type inference. In: ACM Symp. on Principles of Programming Languages, pp. 44\u201357 (1986)","DOI":"10.1145\/512644.512649"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Lerner, B., Flower, M., Grossman, D., Chambers, C.: Searching for type-error messages. In: ACM Int. Conf. on Programming Language Design and Implementation, pp. 425\u2013434 (2007)","DOI":"10.1145\/1273442.1250783"},{"key":"3_CR15","unstructured":"McAdam, B.J.: Repairing type errors in functional programs. PhD thesis, University of Edinburgh. College of Science and Engineering. School of Informatics (2002)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Neubauer, M., Thiemann, P.: Discriminative sum types locate the source of type errors. In: ACM Int. Conf. on Functional Programming, pp. 15\u201326 (2003)","DOI":"10.1145\/944746.944708"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Neubauer, M., Thiemann, P.: Haskell type browser. In: ACM SIGPLAN Workshop on Haskell, pp. 92\u201393 (2004)","DOI":"10.1145\/1017472.1017474"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Odersky, M., L\u00e4ufer, K.: Putting type annotations to work. In: ACM Symp. on Principles of Programming Languages, pp. 54\u201367 (1996)","DOI":"10.1145\/237721.237729"},{"key":"3_CR19","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.\u00a07193, pp. 1\u201316. Springer, Heidelberg (2012)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: Interactive Type Debugging in Haskell. In: ACM SIGPLAN Workshop on Haskell, pp. 72\u201383 (2003)","DOI":"10.1145\/871895.871903"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: Improving type error diagnosis. In: ACM SIGPLAN Workshop on Haskell, pp. 80\u201391 (2004)","DOI":"10.1145\/1017472.1017486"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Wand, M.: Finding the source of type errors. In: ACM Symp. on Principles of Programming Languages, pp. 38\u201343 (1986)","DOI":"10.1145\/512644.512648"},{"key":"3_CR23","unstructured":"Wazny, J.R.: Type inference and type error diagnosis for Hindley\/Milner with extensions. PhD thesis, The University of Melbourne (January 2006)"},{"key":"3_CR24","unstructured":"Yang, J., Michaelson, G., Trinder, P., Wells, J.B.: Improved type error reporting. In: Int. Workshop on Implementation of Functional Languages, pp. 71\u201386 (2000)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, D., Myers, A.C.: Toward General Diagnosis of Static Errors. In: ACM Symp. on Principles of Programming Languages, pp. 569\u2013581 (2014)","DOI":"10.1145\/2535838.2535870"}],"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-07151-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T18:09:36Z","timestamp":1558894176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}