{"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":1771045961763,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,20]]},"DOI":"10.1145\/3484272.3484968","type":"proceedings-article","created":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T16:07:41Z","timestamp":1634314061000},"page":"71-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A stepper for a functional JavaScript sublanguage"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6529-5896","authenticated-orcid":false,"given":"Martin","family":"Henz","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4922-4019","authenticated-orcid":false,"given":"Thomas","family":"Tan","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0536-0964","authenticated-orcid":false,"given":"Zachary","family":"Chua","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1610-6657","authenticated-orcid":false,"given":"Peter","family":"Jung","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5725-9633","authenticated-orcid":false,"given":"Yee-Jian","family":"Tan","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9411-3107","authenticated-orcid":false,"given":"Xinyi","family":"Zhang","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9963-6433","authenticated-orcid":false,"given":"Jingjing","family":"Zhao","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Gerald Jay Sussman, and Julie Sussman","author":"Abelson Harold","year":"1996","unstructured":"Harold Abelson , Gerald Jay Sussman, and Julie Sussman . 1996 . Structure and Interpretation of Computer Programs (2nd ed.). MIT Press , Cambridge, MA. Harold Abelson, Gerald Jay Sussman, and Julie Sussman. 1996. Structure and Interpretation of Computer Programs (2nd ed.). MIT Press, Cambridge, MA."},{"key":"e_1_3_2_1_2_1","volume-title":"JavaScript edition","author":"Abelson Harold","unstructured":"Harold Abelson and Gerald Jay Sussman . 2022. Structure and Interpretation of Computer Programs , JavaScript edition . MIT Press , Cambridge, MA . Adapted to JavaScript by Martin Henz and Tobias Wrigstad with Julie Sussman. Harold Abelson and Gerald Jay Sussman. 2022. Structure and Interpretation of Computer Programs, JavaScript edition. MIT Press, Cambridge, MA. Adapted to JavaScript by Martin Henz and Tobias Wrigstad with Julie Sussman."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2651"},{"key":"e_1_3_2_1_4_1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"Barendregt Hendrik Pieter","unstructured":"Hendrik Pieter Barendregt . 2013. The Lambda Calculus: Its Syntax and Semantics ( 2 nd ed.). Elsevier Science , Saint Louis, MO . Hendrik Pieter Barendregt. 2013. The Lambda Calculus: Its Syntax and Semantics (2nd ed.). Elsevier Science, Saint Louis, MO.","edition":"2"},{"key":"e_1_3_2_1_5_1","volume-title":"Interactive theorem proving and program development: Coq\u2019Art: the calculus of inductive constructions","author":"Bertot Yves","unstructured":"Yves Bertot and Pierre Cast\u00e9ran . 2013. Interactive theorem proving and program development: Coq\u2019Art: the calculus of inductive constructions . Springer , Berlin\/ Heidelberg . Yves Bertot and Pierre Cast\u00e9ran. 2013. Interactive theorem proving and program development: Coq\u2019Art: the calculus of inductive constructions. Springer, Berlin\/Heidelberg."},{"key":"e_1_3_2_1_6_1","volume-title":"Principles and Practice in Programming Languages: A Project-Based Course","author":"Evan Chang Bor-Yuh","unstructured":"Bor-Yuh Evan Chang . 2018. Principles and Practice in Programming Languages: A Project-Based Course , University of Colorado , Boulder. September, https:\/\/csci3155.cs.colorado.edu\/csci3155-notes.pdf Bor-Yuh Evan Chang. 2018. Principles and Practice in Programming Languages: A Project-Based Course, University of Colorado, Boulder. September, https:\/\/csci3155.cs.colorado.edu\/csci3155-notes.pdf"},{"key":"e_1_3_2_1_7_1","unstructured":"Stephen Chang John Clements Eli Barzilay and Matthias Felleisen. 2011. Stepping Lazy Programs. arxiv:1108.4706  Stephen Chang John Clements Eli Barzilay and Matthias Felleisen. 2011. Stepping Lazy Programs. arxiv:1108.4706"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.032"},{"key":"e_1_3_2_1_9_1","volume-title":"Specification of Source \u00a72 Stepper","author":"Chua Zachary","unstructured":"Zachary Chua , Martin Henz , Peter Jung , Thomas Tan , Yee-Jian Tan , Xinyi Zhang , and Jingjing Zhao . 2021. Specification of Source \u00a72 Stepper . National University of Singapore . https:\/\/docs.sourceacademy.org\/source_2_stepper.pdf Zachary Chua, Martin Henz, Peter Jung, Thomas Tan, Yee-Jian Tan, Xinyi Zhang, and Jingjing Zhao. 2021. Specification of Source \u00a72 Stepper. National University of Singapore. https:\/\/docs.sourceacademy.org\/source_2_stepper.pdf"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45309-1_21"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/12130.12142"},{"key":"e_1_3_2_1_12_1","volume-title":"Robert Bruce Findler, and Matthew Flatt","author":"Felleisen Matthias","year":"2009","unstructured":"Matthias Felleisen , Robert Bruce Findler, and Matthew Flatt . 2009 . Semantics Engineering with PLT Redex. MIT Press , Cambridge, MA. Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt. 2009. Semantics Engineering with PLT Redex. MIT Press, Cambridge, MA."},{"key":"e_1_3_2_1_13_1","unstructured":"Github estree repository. 2021. estree. https:\/\/github.com\/estree\/estree  Github estree repository. 2021. estree. https:\/\/github.com\/estree\/estree"},{"key":"e_1_3_2_1_14_1","unstructured":"Github source-academy organization. 2021. Source Academy. https:\/\/github.com\/source-academy  Github source-academy organization. 2021. Source Academy. https:\/\/github.com\/source-academy"},{"key":"e_1_3_2_1_15_1","volume-title":"ECMAScript 2020 Language Specification","unstructured":"2020. ECMAScript 2020 Language Specification ( 11 th ed.), Jordan Harband and Kevin Smith (Eds.). Ecma International, Geneva . 2020. ECMAScript 2020 Language Specification (11th ed.), Jordan Harband and Kevin Smith (Eds.). Ecma International, Geneva.","edition":"11"},{"key":"e_1_3_2_1_16_1","volume-title":"Specification of Source \u00a72","author":"Henz Martin","unstructured":"Martin Henz , Ning-Yuan Lee , and Daryl Tan . 2021. Specification of Source \u00a72 . National University of Singapore . https:\/\/source-academy.github.io\/source\/source_2.pdf Martin Henz, Ning-Yuan Lee, and Daryl Tan. 2021. Specification of Source \u00a72. National University of Singapore. https:\/\/source-academy.github.io\/source\/source_2.pdf"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103691"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/947727.947732"},{"key":"e_1_3_2_1_19_1","volume-title":"Pict: Functional Pictures. https:\/\/docs.racket-lang.org\/pict","author":"Racket","year":"2021","unstructured":"Racket team. 2021 . Pict: Functional Pictures. https:\/\/docs.racket-lang.org\/pict Racket team. 2021. Pict: Functional Pictures. https:\/\/docs.racket-lang.org\/pict"},{"key":"e_1_3_2_1_20_1","unstructured":"Racket team. 2021. The Stepper. https:\/\/docs.racket-lang.org\/stepper  Racket team. 2021. The Stepper. https:\/\/docs.racket-lang.org\/stepper"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3310089.3313180"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358711.3361629"},{"key":"e_1_3_2_1_23_1","unstructured":"Source Academy Organization. 2021. Source Academy. https:\/\/about.sourceacademy.org  Source Academy Organization. 2021. Source Academy. https:\/\/about.sourceacademy.org"},{"key":"e_1_3_2_1_24_1","volume-title":"A Survey of Program Visualizations for the Functional Paradigm. Department of Computer Science","author":"Urquiza-Fuentes J.","unstructured":"J. Urquiza-Fuentes and J. \u00c1. Vel\u00e1zquez-Iturbide . 2004. A Survey of Program Visualizations for the Functional Paradigm. Department of Computer Science , University of Warwick , 2\u20139. J. Urquiza-Fuentes and J. \u00c1. Vel\u00e1zquez-Iturbide. 2004. A Survey of Program Visualizations for the Functional Paradigm. Department of Computer Science, University of Warwick, 2\u20139."}],"event":{"name":"SPLASH '21: Software for Humanity","location":"Chicago IL USA","acronym":"SPLASH '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484272.3484968","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3484272.3484968","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:41Z","timestamp":1750191101000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484272.3484968"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":24,"alternative-id":["10.1145\/3484272.3484968","10.1145\/3484272"],"URL":"https:\/\/doi.org\/10.1145\/3484272.3484968","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}