{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:21Z","timestamp":1750309521149,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T00:00:00Z","timestamp":1729555200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF (National Science Foundation)","award":["2237440,2114627"],"award-info":[{"award-number":["2237440,2114627"]}]},{"name":"Defense Advanced Research Projects Agency","award":["N66001-21-C-4024"],"award-info":[{"award-number":["N66001-21-C-4024"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,22]]},"DOI":"10.1145\/3694848.3694851","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T10:50:56Z","timestamp":1729162256000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Normalization Barrier Revisited"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0843-0729","authenticated-orcid":false,"given":"Shuo","family":"Ding","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5367-9377","authenticated-orcid":false,"given":"Qirun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,10,22]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1328438.1328455"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1017\/S0956796800020025"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/2837614.2837623"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/3009837.3009853"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1017\/CBO9781139171496"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/BF01700692"},{"volume-title":"Accessed","year":"2024","unstructured":"HaskellWiki. Accessed in May 2024. GHC\/GHCi. https:\/\/wiki.haskell.org\/GHC\/GHCi","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/SCAM.2014.40"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/0304-3975(90)90109-U"},{"unstructured":"M. Sipser. 2012. Introduction to the Theory of Computation. isbn:9781133187790 lccn:2012938665 https:\/\/books.google.com\/books?id=H94JzgEACAAJ","key":"e_1_3_2_1_10_1"}],"event":{"sponsor":["SIGPLAN SIGPLAN","SIGAda SIGAda"],"acronym":"JENSFEST '24","name":"JENSFEST '24: Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday","location":"Pasadena CA USA"},"container-title":["Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3694848.3694851","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:06Z","timestamp":1750295886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3694848.3694851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,22]]},"references-count":10,"alternative-id":["10.1145\/3694848.3694851","10.1145\/3694848"],"URL":"https:\/\/doi.org\/10.1145\/3694848.3694851","relation":{},"subject":[],"published":{"date-parts":[[2024,10,22]]},"assertion":[{"value":"2024-10-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}