{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T21:04:03Z","timestamp":1754600643293,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e Tecnologia","award":["UIDB\\\/00027\\\/2020"],"award-info":[{"award-number":["UIDB\\\/00027\\\/2020"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,29]]},"DOI":"10.1145\/3677999.3678274","type":"proceedings-article","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:13:35Z","timestamp":1724872415000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8387-9772","authenticated-orcid":false,"given":"Pedro","family":"Vasconcelos","sequence":"first","affiliation":[{"name":"University of Porto, Porto, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2492-0197","authenticated-orcid":false,"given":"Rodrigo","family":"Marques","sequence":"additional","affiliation":[{"name":"University of Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2024,8,28]]},"reference":[{"volume-title":"Compiling pattern matching","author":"Augustsson Lennart","key":"e_1_3_2_1_1_1","unstructured":"Lennart Augustsson. 1985. Compiling pattern matching. In Functional Programming Languages and Computer Architecture, Jean-Pierre Jouannaud (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 368\u2013381. isbn:978-3-540-39677-2"},{"volume-title":"Thinking Functionally with Haskell","author":"Bird Richard","key":"e_1_3_2_1_2_1","unstructured":"Richard Bird. 2015. Thinking Functionally with Haskell. Cambridge University Press."},{"volume-title":"Introduction to Functional Programming","author":"Bird Richard","key":"e_1_3_2_1_3_1","unstructured":"Richard Bird and Philip Wadler. 1988. Introduction to Functional Programming. Prentice-Hall."},{"volume-title":"Implementation of Functional Languages, Ricardo Pe\u00f1a and Thomas Arts (Eds.)","author":"Chitil Olaf","key":"e_1_3_2_1_4_1","unstructured":"Olaf Chitil, Colin Runciman, and Malcolm Wallace. 2003. Transforming Haskell for Tracing. In Implementation of Functional Languages, Ricardo Pe\u00f1a and Thomas Arts (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 165\u2013181. isbn:978-3-540-44854-9"},{"key":"e_1_3_2_1_5_1","unstructured":"York Functional Programming Group. 2008. Hat - the Haskell tracer. https:\/\/www.cs.york.ac.uk\/fp\/hat\/"},{"key":"e_1_3_2_1_6_1","volume-title":"d.]. Python tutor. https:\/\/pythontutor.com\/ [Online","author":"Guo Philip J.","year":"2024","unstructured":"Philip J. Guo. [n. d.]. Python tutor. https:\/\/pythontutor.com\/ [Online; accessed May 2024]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"e_1_3_2_1_8_1","volume-title":"Programming in Haskell","author":"Hutton Graham","unstructured":"Graham Hutton. 2016. Programming in Haskell (2nd ed.). Cambridge University Press.","edition":"2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_20"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_12_1","unstructured":"GHC maintainers. 2023. GHC user guide. https:\/\/downloads.haskell.org\/~ghc\/7.8.4\/docs\/html\/users_guide\/bang-patterns.html"},{"key":"e_1_3_2_1_13_1","unstructured":"Simon Marlow. 2023. Haskell 2010 Language Report. https:\/\/www.haskell.org\/onlinereport\/haskell2010\/"},{"key":"e_1_3_2_1_14_1","first-page":"15","article-title":"A Static Checker for Safe Pattern Matching in Haskell","volume":"6","author":"Mitchell Neil","year":"2005","unstructured":"Neil Mitchell and Colin Runciman. 2005. A Static Checker for Safe Pattern Matching in Haskell. Trends in Functional Programming Volume 6, 15.","journal-title":"Trends in Functional Programming"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543134.1411293"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"Tim Olmer Bastiaan Heeren and Johan Jeuring. [n. d.]. Evaluating Haskell expressions in a tutoring environment. 170 ([n. d.]) 50\u201366. issn:2075-2180 https:\/\/doi.org\/10.4204\/EPTCS.170.4 10.4204\/EPTCS.170.4","DOI":"10.4204\/EPTCS.170.4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2017.11"},{"key":"e_1_3_2_1_19_1","unstructured":"Bryan O\u2019Sullivan John Goerzen and Don Stewart. 2008. Real World Haskell. O\u2019Reilly Media."},{"volume-title":"The implementation of functional languages","author":"Peyton-Jones Simon","key":"e_1_3_2_1_20_1","unstructured":"Simon Peyton-Jones. 1987. The implementation of functional languages. Prentice-Hall."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/9781316841396"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002712"},{"key":"e_1_3_2_1_23_1","volume-title":"Haskell: The Craft of Functional Programming","author":"Thompson Simon","year":"2011","unstructured":"Simon Thompson. 2011. Haskell: The Craft of Functional Programming (3rd ed.). Addison-Wesley.","edition":"3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","unstructured":"Pedro Vasconcelos and Rodrigo Marques. 2024. Haskelite implementation. https:\/\/doi.org\/10.5281\/zenodo.12774237 10.5281\/zenodo.12774237","DOI":"10.5281\/zenodo.12774237"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/24697.24706"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999747.1999795"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586048"}],"event":{"name":"Haskell '24: 17th ACM SIGPLAN International Haskell Symposium","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Milan Italy","acronym":"Haskell '24"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Haskell Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677999.3678274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3677999.3678274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:28Z","timestamp":1750291468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677999.3678274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":27,"alternative-id":["10.1145\/3677999.3678274","10.1145\/3677999"],"URL":"https:\/\/doi.org\/10.1145\/3677999.3678274","relation":{},"subject":[],"published":{"date-parts":[[2024,8,28]]},"assertion":[{"value":"2024-08-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}