{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T20:48:30Z","timestamp":1754599710949,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T00:00:00Z","timestamp":1736467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"JSPS KAKENHI","award":["JP20K12107, JP22H03563"],"award-info":[{"award-number":["JP20K12107, JP22H03563"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,1,10]]},"DOI":"10.1145\/3704253.3706137","type":"proceedings-article","created":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T21:22:27Z","timestamp":1736544147000},"page":"13-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic Stepper for Simple Modules"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8040-0394","authenticated-orcid":false,"given":"Kenichi","family":"Asai","sequence":"first","affiliation":[{"name":"Ochanomizu University, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6197-9846","authenticated-orcid":false,"given":"Hinano","family":"Akiyama","sequence":"additional","affiliation":[{"name":"Ochanomizu University, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,1,10]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45309-1_21"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.29007\/l2wb"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290323"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259007"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.295.2"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001957"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048141"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_37"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199476"},{"volume-title":"The Definition of Standard ML (Revised)","author":"Milner Robin","key":"e_1_3_2_2_12_1","unstructured":"Robin Milner, Robert Harper, David MacQueen, and Mads Tofte. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, MA."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796814000264"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.295.2"}],"event":{"name":"PEPM '25: 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"Denver CO USA","acronym":"PEPM '25"},"container-title":["Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3704253.3706137","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3704253.3706137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:51Z","timestamp":1750295871000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3704253.3706137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,10]]},"references-count":14,"alternative-id":["10.1145\/3704253.3706137","10.1145\/3704253"],"URL":"https:\/\/doi.org\/10.1145\/3704253.3706137","relation":{},"subject":[],"published":{"date-parts":[[2025,1,10]]},"assertion":[{"value":"2025-01-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}