{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T05:12:41Z","timestamp":1771045961946,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T00:00:00Z","timestamp":1442188800000},"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":[[2015,9,14]]},"DOI":"10.1145\/2897336.2897337","type":"proceedings-article","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T15:20:09Z","timestamp":1469114409000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Static and dynamic visualisations of monadic programs"],"prefix":"10.1145","author":[{"given":"Jurri\u00ebn","family":"Stutterheim","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2015,9,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746325.2746329"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.59"},{"key":"e_1_3_2_1_3_1","volume-title":"Electr Notes Theor Comput Sci","author":"Gill A.","year":"2000","unstructured":"A. Gill . Debugging Haskell by Observing Intermediate Data Structures . Electr Notes Theor Comput Sci , 2000 . A. Gill. Debugging Haskell by Observing Intermediate Data Structures. Electr Notes Theor Comput Sci, 2000."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32037-8_11"},{"key":"e_1_3_2_1_5_1","volume-title":"i. L. D. o. C. Science, and Information. Declarative Debugging for Lazy Functional Languages","author":"Nilsson H.","year":"1998","unstructured":"H. Nilsson , U. i. L. D. o. C. Science, and Information. Declarative Debugging for Lazy Functional Languages , 1998 . H. Nilsson, U. i. L. D. o. C. Science, and Information. Declarative Debugging for Lazy Functional Languages, 1998."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008681016679"},{"key":"e_1_3_2_1_7_1","volume-title":"Business process model and notation (BPMN) version 1.2. Technical report","author":"Object Management Group","year":"2009","unstructured":"Object Management Group . Business process model and notation (BPMN) version 1.2. Technical report , Object Management Group , 2009 . Object Management Group. Business process model and notation (BPMN) version 1.2. Technical report, Object Management Group, 2009."},{"key":"e_1_3_2_1_8_1","volume-title":"Mar.","author":"Object Modeling Group","year":"2000","unstructured":"Object Modeling Group . OMG Unified Modeling Language Specification. Technical report , Mar. 2000 . Object Modeling Group. OMG Unified Modeling Language Specification. Technical report, Mar. 2000."},{"key":"e_1_3_2_1_9_1","volume-title":"Infrastructure. Technical report","author":"Object Modeling Group","year":"2012","unstructured":"Object Modeling Group . OMG Unified Modeling Language (OMG UML) , Infrastructure. Technical report , Mar. 2012 . Object Modeling Group. OMG Unified Modeling Language (OMG UML), Infrastructure. Technical report, Mar. 2012."},{"key":"e_1_3_2_1_10_1","volume-title":"Superstructure, Version 2.4.1","author":"OMG.","year":"2011","unstructured":"OMG. OMG Unified Modeling Language (OMG UML) , Superstructure, Version 2.4.1 , August 2011 . OMG. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, August 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370801"},{"key":"e_1_3_2_1_12_1","unstructured":"R. Plasmeijer and M. van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002.  R. Plasmeijer and M. van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1994.1005"},{"key":"e_1_3_2_1_14_1","volume-title":"Visual Haskell: a first attempt. Technical report","author":"Reekie H. J.","year":"1994","unstructured":"H. J. Reekie . Visual Haskell: a first attempt. Technical report , 1994 . H. J. Reekie. Visual Haskell: a first attempt. Technical report, 1994."},{"key":"e_1_3_2_1_15_1","volume-title":"2001 ACM SIGPLAN","author":"Reinke C.","year":"2001","unstructured":"C. Reinke . GHood--graphical visualisation and animation of Haskell object observations . 2001 ACM SIGPLAN , 2001 . C. Reinke. GHood--graphical visualisation and animation of Haskell object observations. 2001 ACM SIGPLAN, 2001."},{"key":"e_1_3_2_1_16_1","first-page":"160","volume-title":"Implementation of Functional Languages","author":"Sparud J.","year":"1997","unstructured":"J. Sparud and C. Runciman . Complete and partial redex trails of functional computations . In Implementation of Functional Languages , pages 160 -- 177 . Springer Berlin Heidelberg , Sept. 1997 . J. Sparud and C. Runciman. Complete and partial redex trails of functional computations. In Implementation of Functional Languages, pages 160--177. Springer Berlin Heidelberg, Sept. 1997."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646452.692940"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","volume-title":"Trends in Functional Programming","author":"Stutterheim J.","year":"2014","unstructured":"J. Stutterheim , R. Plasmeijer , and P. Achten . Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks . In J. Hage and J. McCarthy, editors, Trends in Functional Programming , volume 8843 of Lecture Notes in Computer Science . Springer Berlin Heidelberg , 2014 . J. Stutterheim, R. Plasmeijer, and P. Achten. Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In J. Hage and J. McCarthy, editors, Trends in Functional Programming, volume 8843 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2014."},{"key":"e_1_3_2_1_19_1","unstructured":"S. A. White. Business Process Model and Notation V1.1. pages 1--318 Jan. 2008.  S. A. White. Business Process Model and Notation V1.1. pages 1--318 Jan. 2008."}],"event":{"name":"IFL '15: Symposium on the implementation and application of functional programming languages","location":"Koblenz Germany","acronym":"IFL '15"},"container-title":["Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897336.2897337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897336.2897337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:02Z","timestamp":1750221542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897336.2897337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,14]]},"references-count":19,"alternative-id":["10.1145\/2897336.2897337","10.1145\/2897336"],"URL":"https:\/\/doi.org\/10.1145\/2897336.2897337","relation":{},"subject":[],"published":{"date-parts":[[2015,9,14]]},"assertion":[{"value":"2015-09-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}