{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:15:50Z","timestamp":1766733350315,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3563835.3567654","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T19:29:59Z","timestamp":1669922999000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Contextualized Programming Language Documentation"],"prefix":"10.1145","author":[{"given":"Hannah","family":"Potter","sequence":"first","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Ardi","family":"Madadi","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Ren\u00e9","family":"Just","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Cyrus","family":"Omar","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Coqatoo: Generating Natural Language Versions of Coq Proofs. CoRR, abs\/1712.03894","author":"Bedford Andrew","year":"2017","unstructured":"Andrew Bedford. 2017. Coqatoo: Generating Natural Language Versions of Coq Proofs. CoRR, abs\/1712.03894 (2017), arxiv:1712.03894. arxiv:1712.03894"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/302979.303040"},{"key":"e_1_3_2_1_3_1","unstructured":"Will Crichton. 2021. A New Medium for Communicating Research on Programming Languages. https:\/\/willcrichton.net\/nota\/ Accessed on 10.19.2022"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341525.3387404"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4230\/DagRep.9.7.1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2015.7356972"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445648"},{"key":"e_1_3_2_1_9_1","volume-title":"Verbalization of High-Level Formal Proofs. In Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence","author":"Holland-Minkley Amanda M.","year":"1999","unstructured":"Amanda M. Holland-Minkley, Regina Barzilay, and Robert L. Constable. 1999. Verbalization of High-Level Formal Proofs. In Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18-22, 1999, Orlando, Florida, USA. AAAI Press \/ The MIT Press. http:\/\/www.aaai.org\/Library\/AAAI\/1999\/aaai99-041.php"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/d16-1114"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC50065.2020.9127201"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00087"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293881.3295779"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106191"},{"key":"e_1_3_2_1_15_1","unstructured":"OCaml. 2022. OCaml. https:\/\/ocaml.org\/ Accessed on 10.21.2022"},{"key":"e_1_3_2_1_16_1","unstructured":"Cyrus Omar. 2021. Hazel is a live functional programming environment featuring typed holes.. https:\/\/hazel.org\/"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236801"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009900"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2017.11"},{"key":"e_1_3_2_1_21_1","volume-title":"Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies. https:\/\/hazel.org\/hazeltutor-hatra2020.pdf","author":"Potter Hannah","year":"2020","unstructured":"Hannah Potter and Cyrus Omar. 2020. Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies. https:\/\/hazel.org\/hazeltutor-hatra2020.pdf"},{"key":"e_1_3_2_1_22_1","unstructured":"Pyret. 2022. Pyret. https:\/\/www.pyret.org\/ Accessed on 10.21.2022"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3077618"},{"key":"e_1_3_2_1_24_1","unstructured":"Racket. 2022. Racket. https:\/\/racket-lang.org\/ Accessed on 10.21.2022"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.32614\/rj-2021-086"},{"key":"e_1_3_2_1_26_1","unstructured":"Reason. 2022. Reason. https:\/\/reasonml.github.io\/ Accessed on 10.21.2022"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2984511.2984544"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3511062"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568252"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387904.3389258"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2089155.2089159"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3300115.3309504"},{"key":"e_1_3_2_1_33_1","volume-title":"Learnable Programming: Designing a programming system for understanding programs","author":"Victor Bret","year":"2012","unstructured":"Bret Victor. 2012. Learnable Programming: Designing a programming system for understanding programs. http:\/\/worrydream.com\/##!\/LearnableProgramming"}],"event":{"name":"Onward! '22: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"Onward! '22"},"container-title":["Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563835.3567654","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563835.3567654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:08Z","timestamp":1750186808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563835.3567654"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":33,"alternative-id":["10.1145\/3563835.3567654","10.1145\/3563835"],"URL":"https:\/\/doi.org\/10.1145\/3563835.3567654","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}