{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:31Z","timestamp":1750306051479,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T00:00:00Z","timestamp":1472601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,31]]},"DOI":"10.1145\/3064899.3064904","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T12:26:08Z","timestamp":1493036768000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Lightweight Hat"],"prefix":"10.1145","author":[{"given":"Olaf","family":"Chitil","sequence":"first","affiliation":[{"name":"University of Kent, United Kingdom"}]},{"given":"Maarten","family":"Faddegon","sequence":"additional","affiliation":[{"name":"University of Kent, United Kingdom"}]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[{"name":"University of York, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291193"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389449.1389475"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.032"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45361-X_11"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44854-3_11"},{"volume-title":"4th Summer School in Advanced Functional Programming (LNCS 2638). 59--99.","author":"Claessen Koen","key":"e_1_3_2_1_7_1","unstructured":"Koen Claessen , Colin Runciman , Olaf Chitil , John Hughes , and Malcolm Wallace . 2003. Testing and Tracing Lazy Functional Programs using QuickCheck and Hat . In 4th Summer School in Advanced Functional Programming (LNCS 2638). 59--99. Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, and Malcolm Wallace. 2003. Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In 4th Summer School in Advanced Functional Programming (LNCS 2638). 59--99."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737985"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908104"},{"key":"e_1_3_2_1_10_1","volume-title":"2000 ACM SIGPLAN Haskell Workshop.","author":"Gill Andy","year":"2001","unstructured":"Andy Gill . 2001 . Debugging Haskell by Observing Intermediate Data Structures. Electronic Notes in Theoretical Computer Science 41, 1 (2001) . 2000 ACM SIGPLAN Haskell Workshop. Andy Gill. 2001. Debugging Haskell by Observing Intermediate Data Structures. Electronic Notes in Theoretical Computer Science 41, 1 (2001). 2000 ACM SIGPLAN Haskell Workshop."},{"key":"e_1_3_2_1_11_1","volume-title":"Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell. ACM","author":"Hutton Graham","year":"2016","unstructured":"Graham Hutton . 2016 . Programming in Haskell. Cambridge University Press. Simon Marlow, Jos\u00e9 Iborra, Bernard Pope, and Andy Gill. 2007. A lightweight interactive debugger for Haskell . In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell. ACM , New York, NY, USA, 13--24. Graham Hutton. 2016. Programming in Haskell. Cambridge University Press. Simon Marlow, Jos\u00e9 Iborra, Bernard Pope, and Andy Gill. 2007. A lightweight interactive debugger for Haskell. In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell. ACM, New York, NY, USA, 13--24."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680100418X"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008681016679"},{"key":"e_1_3_2_1_15_1","unstructured":"Roly Perera Umut A. Acar James Cheney and Paul Blain Levy. 2012. Functional  Roly Perera Umut A. Acar James Cheney and Paul Blain Levy. 2012. Functional"},{"volume-title":"That Explain Their Work. In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12)","author":"Programs","key":"e_1_3_2_1_16_1","unstructured":"Programs That Explain Their Work. In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12) . ACM, New York, NY, USA, 365--376. Programs That Explain Their Work. In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12). ACM, New York, NY, USA, 365--376."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_7"},{"volume-title":"Algorithmic Program Debugging","author":"Shapiro E. Y.","key":"e_1_3_2_1_19_1","unstructured":"E. Y. Shapiro . 1983. Algorithmic Program Debugging . MIT Press . E. Y. Shapiro. 1983. Algorithmic Program Debugging. MIT Press."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140355"},{"key":"e_1_3_2_1_21_1","volume-title":"Workshop on the Implementation of Functional Languages (IFL '97)","author":"Sparud Jan","year":"1997","unstructured":"Jan Sparud and Colin Runciman . 1997 a. Complete and partial redex trails of functional computations. In Selected papers from 9th Intl . Workshop on the Implementation of Functional Languages (IFL '97) (St. Andrews, Scotland). LNCS 1467, 160--177. Jan Sparud and Colin Runciman. 1997a. Complete and partial redex trails of functional computations. In Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages (IFL '97) (St. Andrews, Scotland). LNCS 1467, 160--177."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033851"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 2001 ACM SIGPLAN Haskell Workshop.","author":"Wallace Malcolm","year":"2001","unstructured":"Malcolm Wallace , Olaf Chitil , Thorsten Brehm , and Colin Runciman . 2001 . Multiple-View Tracing for Haskell: a New Hat . In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop. Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman. 2001. Multiple-View Tracing for Haskell: a New Hat. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop."},{"volume-title":"Why Programs Fail","author":"Zeller Andreas","key":"e_1_3_2_1_24_1","unstructured":"Andreas Zeller . 2009. Why Programs Fail , Second Edition: A Guide to Systematic Debugging. Morgan Kaufmann Publishers Inc . Andreas Zeller. 2009. Why Programs Fail, Second Edition: A Guide to Systematic Debugging. Morgan Kaufmann Publishers Inc."}],"event":{"name":"IFL 2016: Symposium on Implementation and Application of Functional Languages","sponsor":["K.U. Leuven K.U. Leuven"],"location":"Leuven Belgium","acronym":"IFL 2016"},"container-title":["Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064904","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064899.3064904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:28Z","timestamp":1750215808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064904"}},"subtitle":["Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs"],"short-title":[],"issued":{"date-parts":[[2016,8,31]]},"references-count":22,"alternative-id":["10.1145\/3064899.3064904","10.1145\/3064899"],"URL":"https:\/\/doi.org\/10.1145\/3064899.3064904","relation":{},"subject":[],"published":{"date-parts":[[2016,8,31]]},"assertion":[{"value":"2016-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}