{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:16Z","timestamp":1750309096797,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Kansen Voor West EFRO","award":["KVW00309"],"award-info":[{"award-number":["KVW00309"]}]},{"name":"Province of Noord-Holland","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3567512.3567527","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T21:22:55Z","timestamp":1669929775000},"page":"175-188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Language-Parametric Approach to Exploratory Programming Environments"],"prefix":"10.1145","author":[{"given":"L. Thomas","family":"van Binsbergen","sequence":"first","affiliation":[{"name":"University of Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian","family":"Fr\u00f6lich","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Verano Merino","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joey","family":"Lai","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Jeanjean","sequence":"additional","affiliation":[{"name":"Inria, France \/ University of Rennes, France \/ CNRS, France \/ IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[{"name":"CWI, Netherlands \/ University of Groningen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[{"name":"University of Rennes, France \/ Inria, France \/ CNRS, France \/ IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[{"name":"University of Rennes, France \/ Inria, France \/ CNRS, France \/ IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Appel and Jens Palsberg","author":"Andrew","year":"2003","unstructured":"Andrew W. Appel and Jens Palsberg . 2003 . Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press . Andrew W. Appel and Jens Palsberg. 2003. Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press."},{"volume-title":"IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts","author":"Astesiano Egidio","key":"e_1_3_2_1_2_1","unstructured":"Egidio Astesiano . 1991. Inductive and Operational Semantics . In IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts , E.J. Neuhold and M. Paul (Eds.). Springer , 51\u2013136. Egidio Astesiano. 1991. Inductive and Operational Semantics. In IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts, E.J. Neuhold and M. Paul (Eds.). Springer, 51\u2013136."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2017.8103446"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.11.025"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"e_1_3_2_1_6_1","volume-title":"Idris on Hackage. https:\/\/hackage.haskell.org\/package\/idris [Online, accessed","author":"Brady Edwin","year":"2022","unstructured":"Edwin Brady and Niklas Larsson . 2021. Idris on Hackage. https:\/\/hackage.haskell.org\/package\/idris [Online, accessed 27 September 2022 ]. Edwin Brady and Niklas Larsson. 2021. Idris on Hackage. https:\/\/hackage.haskell.org\/package\/idris [Online, accessed 27 September 2022]."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.147"},{"key":"e_1_3_2_1_8_1","volume-title":"The MiniJava Project. https:\/\/www.cambridge.org\/us\/features\/052182060X [Online, accessed","author":"Cangussu Jo\u00e3o","year":"2020","unstructured":"Jo\u00e3o Cangussu , Jens Palsberg , and Vidyut Samanta . 2002. The MiniJava Project. https:\/\/www.cambridge.org\/us\/features\/052182060X [Online, accessed 12 October 2020 ]. Jo\u00e3o Cangussu, Jens Palsberg, and Vidyut Samanta. 2002. The MiniJava Project. https:\/\/www.cambridge.org\/us\/features\/052182060X [Online, accessed 12 October 2020]."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3469279"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376729"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-83978-9_2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40593-015-0080-x"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-350772-3.50013-6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449715.1449732"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167107"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300500"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174106"},{"key":"e_1_3_2_1_18_1","volume-title":"MATLAB Live Editor","author":"MathWorks Inc.","year":"2021","unstructured":"MathWorks Inc. . 2019. MATLAB Live Editor . https:\/\/nl.mathworks.com\/products\/matlab\/live-editor.html [Online, accessed 16 July 2021 ]. MathWorks Inc.. 2019. MATLAB Live Editor. https:\/\/nl.mathworks.com\/products\/matlab\/live-editor.html [Online, accessed 16 July 2021]."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039592"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025626"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300322"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2018.8506576"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173748"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415842"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.28"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-649-1-87"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/27.2.97"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922658"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC50065.2020.9127202"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC50065.2020.9127201"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445265"},{"key":"e_1_3_2_1_32_1","volume-title":"Debugging Backwards in Time. Computing Research Repository, cs.SE\/0310016","author":"Lewis Bil","year":"2003","unstructured":"Bil Lewis . 2003. Debugging Backwards in Time. Computing Research Repository, cs.SE\/0310016 ( 2003 ), arxiv:cs\/0310016 Bil Lewis. 2003. Debugging Backwards in Time. Computing Research Repository, cs.SE\/0310016 (2003), arxiv:cs\/0310016"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC53370.2022.9833148"},{"key":"e_1_3_2_1_34_1","unstructured":"Microsoft. 2018. Debug Adapter Protocol. https:\/\/microsoft.github.io\/debug-adapter-protocol\/ \t\t\t\t  Microsoft. 2018. Debug Adapter Protocol. https:\/\/microsoft.github.io\/debug-adapter-protocol\/"},{"volume-title":"Language Server Protocol. https:\/\/microsoft.github.io\/language-server-protocol [Online, accessed","year":"2021","key":"e_1_3_2_1_35_1","unstructured":"Microsoft. 2018. Language Server Protocol. https:\/\/microsoft.github.io\/language-server-protocol [Online, accessed 16 July 2021 ]. Microsoft. 2018. Language Server Protocol. https:\/\/microsoft.github.io\/language-server-protocol [Online, accessed 16 July 2021]."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025597"},{"volume-title":"The Definition of Standard ML","author":"Milner Robin","key":"e_1_3_2_1_37_1","unstructured":"Robin Milner , Mads Tofte , and David MacQueen . 1997. The Definition of Standard ML . MIT Press . Robin Milner, Mads Tofte, and David MacQueen. 1997. The Definition of Standard ML. MIT Press."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.008"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.008"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328433.3328434"},{"volume-title":"The Design of Everyday Things","author":"Norman Donald A.","key":"e_1_3_2_1_41_1","unstructured":"Donald A. Norman . 2002. The Design of Everyday Things . Basic Books, Inc. . isbn:9780465067107 Donald A. Norman. 2002. The Design of Everyday Things. Basic Books, Inc.. isbn:9780465067107"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009900"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bty405"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.05.001"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2019\/3\/9"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167108"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2019\/3\/1"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3397307"},{"key":"e_1_3_2_1_49_1","first-page":"01","article-title":"A Survey on Software Clone Detection Research","volume":"2007","author":"Roy Chanchal","year":"2007","unstructured":"Chanchal Roy and James Cordy . 2007 . A Survey on Software Clone Detection Research . School of Computing TR 2007-541 , 01 . Chanchal Roy and James Cordy. 2007. A Survey on Software Clone Detection Research. School of Computing TR 2007-541, 01.","journal-title":"School of Computing TR"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173606"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/51607.51614"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-12-5.50048-3"},{"key":"e_1_3_2_1_53_1","volume-title":"https:\/\/polynote.org [Online, accessed","author":"Smith Jeremy","year":"2021","unstructured":"Jeremy Smith and Jonathan Indig . 2020. Polynote. https:\/\/polynote.org [Online, accessed 16 July 2021 ]. Jeremy Smith and Jonathan Indig. 2020. Polynote. https:\/\/polynote.org [Online, accessed 16 July 2021]."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290607.3313027"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76324-4_7"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/34.2.153"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426958"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.12.004"},{"key":"e_1_3_2_1_59_1","volume-title":"The Haskell Funcon Framework. Hackage. https:\/\/hackage.haskell.org\/package\/funcons-tools [Online, accessed","author":"van Binsbergen L. Thomas","year":"2022","unstructured":"L. Thomas van Binsbergen and Neil Sculthorpe . 2018. The Haskell Funcon Framework. Hackage. https:\/\/hackage.haskell.org\/package\/funcons-tools [Online, accessed 5 August 2022 ]. L. Thomas van Binsbergen and Neil Sculthorpe. 2018. The Haskell Funcon Framework. Hackage. https:\/\/hackage.haskell.org\/package\/funcons-tools [Online, accessed 5 August 2022]."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3426428.3426917"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/LIVE.2013.6617347"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2020\/4\/11"},{"key":"e_1_3_2_1_63_1","volume-title":"http:\/\/worrydream.com\/ScrubbingCalculator\/ [Online, accessed","author":"Victor Bret","year":"2021","unstructured":"Bret Victor . 2011. ScrubbingCalculator. http:\/\/worrydream.com\/ScrubbingCalculator\/ [Online, accessed 16 July 2021 ]. Bret Victor. 2011. ScrubbingCalculator. http:\/\/worrydream.com\/ScrubbingCalculator\/ [Online, accessed 16 July 2021]."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/248621.248623"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445527"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415851"}],"event":{"name":"SLE '22: 15th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"SLE '22"},"container-title":["Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567527","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3567512.3567527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:47Z","timestamp":1750286627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567527"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":66,"alternative-id":["10.1145\/3567512.3567527","10.1145\/3567512"],"URL":"https:\/\/doi.org\/10.1145\/3567512.3567527","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}