{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:44:18Z","timestamp":1770281058686,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":20,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"JSPS","award":["18H03218"],"award-info":[{"award-number":["18H03218"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,17]]},"DOI":"10.1145\/3486609.3487209","type":"proceedings-article","created":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T22:14:41Z","timestamp":1637619281000},"page":"184-196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Type-safe generation of modules in applicative and generative styles"],"prefix":"10.1145","author":[{"given":"Yuhi","family":"Sato","sequence":"first","affiliation":[{"name":"University of Tsukuba, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2693-5133","authenticated-orcid":false,"given":"Yukiyoshi","family":"Kameyama","sequence":"additional","affiliation":[{"name":"University of Tsukuba, Japan"}]}],"member":"320","published-online":{"date-parts":[[2021,11,22]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_7"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561317"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2017\/1\/9"},{"key":"e_1_3_2_2_6_1","unstructured":"Xavier Leroy et al.. 2019. Chapter 21. Optimisation with Flambda. The OCaml system release 4.09. https:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/flambda.html  Xavier Leroy et al.. 2019. Chapter 21. Optimisation with Flambda. The OCaml system release 4.09. https:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/flambda.html"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517208.2517211"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07151-0_7"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847548"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07151-0_6"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199476"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426961"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136000.3136005"},{"key":"e_1_3_2_2_14_1","volume-title":"Scott","author":"Radanne Gabriel","year":"2019","unstructured":"Gabriel Radanne , Thomas Gazagnaire , Anil Madhavapeddy , Jeremy Yallop , Richard Mortier , Hannes Mehnert , Mindy Preston , and David J . Scott . 2019 . Programming Unikernels in the Large via Functor Driven Development. CoRR , abs\/1905.02529 (2019), arxiv:1905.02529. arxiv:1905.02529 Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, and David J. Scott. 2019. Programming Unikernels in the Large via Functor Driven Development. CoRR, abs\/1905.02529 (2019), arxiv:1905.02529. arxiv:1905.02529"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372884.3373160"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/10704973_5"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25935-0_3"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/640128.604134"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258990"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3162072"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847546"}],"event":{"name":"GPCE '21: Concepts and Experiences","location":"Chicago IL USA","acronym":"GPCE '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486609.3487209","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486609.3487209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:40Z","timestamp":1750193320000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486609.3487209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":20,"alternative-id":["10.1145\/3486609.3487209","10.1145\/3486609"],"URL":"https:\/\/doi.org\/10.1145\/3486609.3487209","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-11-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}