{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:34Z","timestamp":1762458574481},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401902"},{"type":"electronic","value":"9783540448549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44854-3_11","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:56:07Z","timestamp":1184601367000},"page":"165-181","source":"Crossref","is-referenced-by-count":9,"title":["Transforming Haskell for Tracing"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Chitil","sequence":"first","affiliation":[]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[]},{"given":"Malcolm","family":"Wallace","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"11_CR1","unstructured":"M. Chakravarty et al. The Haskell 98 foreign function interface 1.0: An addendum to the Haskell 98 report. http:\/\/www.haskell.org\/definition\/ , 2002."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"K. Claessen, C. Runciman, O. Chitil, J. Hughes, and M. Wallace. Testing and tracing lazy functional programs using QuickCheck and Hat. 4th Summer School in Advanced Functional Programming, Oxford, to appear in LNCS, 2002.","DOI":"10.1007\/978-3-540-44833-4_3"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"A. Gill. Debugging Haskell by observing intermediate data structures. Electronic Notes in Theoretical Computer Science, 41(1), 2001. 2000 ACM SIGPLAN Haskell Workshop.","DOI":"10.1016\/S1571-0661(05)80538-9"},{"key":"11_CR4","unstructured":"H. Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Link\u00f6ping, Sweden, May 1998."},{"key":"11_CR5","volume-title":"Augmenting Trace-based Functional Debugging","author":"A. Penney","year":"1999","unstructured":"A. Penney. Augmenting Trace-based Functional Debugging. PhD thesis, University of Bristol, UK, September 1999."},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","first-page":"160","volume-title":"Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages (IFL\u201997)","author":"J. Sparud","year":"1997","unstructured":"J. Sparud and C. Runciman. Complete and partial redex trails of functional computations. In C. Clack, K. Hammond, and T. Davie, editors, Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages (IFL\u201997), pages 160\u2013177. Springer LNCS Vol. 1467, Sept. 1997."},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BFb0033851","volume-title":"Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u201997)","author":"J. Sparud","year":"1997","unstructured":"J. Sparud and C. Runciman. Tracing lazy functional computations using redex trails. In H. Glaser, P. Hartel, and H. Kuchen, editors, Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u201997), pages 291\u2013308. Springer LNCS Vol. 1292, Sept. 1997."},{"issue":"8","key":"11_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/286385.286387","volume":"33","author":"P. Wadler","year":"1998","unstructured":"P. Wadler. Functional programming: Why no one uses functional languages. SIGPLAN Notices, 33(8): 23\u201327, Aug. 1998. Functional programming column.","journal-title":"SIGPLAN Notices"},{"key":"11_CR9","unstructured":"M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-view tracing for Haskell: a new Hat. In Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, UU-CS-2001-23. Universiteit Utrecht, 2001."},{"key":"11_CR10","unstructured":"R. D. Watson. Tracing Lazy Evaluation by Program Transformation. PhD thesis, Southern Cross, Australia, Oct. 1996."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44854-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:15:41Z","timestamp":1556680541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}