{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T18:03:04Z","timestamp":1774893784680,"version":"3.50.1"},"publisher-location":"Singapore","reference-count":16,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819584109","type":"print"},{"value":"9789819584116","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-8411-6_11","type":"book-chapter","created":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T17:10:28Z","timestamp":1774890628000},"page":"143-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Domainsgraph: a\u00a0Type-Safe, Incremental Task Graph Programming Framework"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6196-1700","authenticated-orcid":false,"given":"Lingwei","family":"Yan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ran","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,31]]},"reference":[{"issue":"6","key":"11_CR1","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1109\/TPDS.2021.3104255","volume":"33","author":"TW Huang","year":"2021","unstructured":"Huang, T.W., Lin, D.L., Lin, C.X., Lin, Y.: Taskflow: a lightweight parallel and heterogeneous task graph computing system. IEEE Trans. Parallel Distrib. Syst. 33(6), 1303\u20131320 (2021)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"11_CR2","unstructured":"Intel Corporation: Intel onetbb. https:\/\/github.com\/oneapi-src\/oneTBB (2021). Accessed 19 June 2025"},{"key":"11_CR3","unstructured":"Leroy, X., et al.: The OCaml system release 5.2: Documentation and user\u2019s manual. Ph.D. thesis, Inria (2024)"},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"JC Mitchell","year":"1988","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. ACM Trans. Programm. Lang. Syst. (TOPLAS) 10(3), 470\u2013502 (1988)","journal-title":"ACM Trans. Programm. Lang. Syst. (TOPLAS)"},{"issue":"10","key":"11_CR5","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/1639949.1640106","volume":"44","author":"D Leijen","year":"2009","unstructured":"Leijen, D., Schulte, W., Burckhardt, S.: The design of a task parallel library. ACM Sigplan Notices 44(10), 227\u2013242 (2009)","journal-title":"ACM Sigplan Notices"},{"issue":"12","key":"11_CR6","doi-asserted-by":"publisher","first-page":"3202","DOI":"10.1016\/j.jpdc.2014.07.003","volume":"74","author":"HC Edwards","year":"2014","unstructured":"Edwards, H.C., Trott, C.R., Sunderland, D.: Kokkos: enabling manycore performance portability through polymorphic memory access patterns. J. Parall. Distrib. Comput. 74(12), 3202\u20133216 (2014)","journal-title":"J. Parall. Distrib. Comput."},{"key":"11_CR7","unstructured":"Danelutto, M., Kilpatrick, P., Torquati, M., et\u00a0al.: Fastflow: high-level and efficient streaming on multi-core. In: Programming Multi-core and Many-core Computing Systems, Parallel and Distributed Computing. Jhon Wiley & Sons Ltd (2022)"},{"key":"11_CR8","unstructured":"OpenMP Architecture Review Board: Openmp. https:\/\/www.openmp.org\/ (2021). Accessed 19 June 2025"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Hindley, J.R.: Basic simple type theory. No.\u00a042, Cambridge University Press (1997)","DOI":"10.1017\/CBO9780511608865"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Johann, P., Ghani, N.: Foundations for structured programming with gadts. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 297\u2013308 (2008)","DOI":"10.1145\/1328438.1328475"},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1017\/S0956796800001817","volume":"6","author":"K L\u00e4ufer","year":"1996","unstructured":"L\u00e4ufer, K.: Type classes with existential types. J. Funct. Program. 6(3), 485\u2013518 (1996)","journal-title":"J. Funct. Program."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Bertot, Y.: A short presentation of coq. In: International Conference on Theorem Proving in Higher Order Logics, pp. 12\u201316. Springer (2008)","DOI":"10.1007\/978-3-540-71067-7_3"},{"key":"11_CR13","unstructured":"Leroy, X., Blazy, S., K\u00e4stner, D., Schommer, B., Pister, M., Ferdinand, C.: Compcert-a formally verified optimizing compiler. In: ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress (2016)"},{"key":"11_CR14","unstructured":"Jaffer, S., Kelly, T., Parimala, S., Sivaramakrishnan, K., Madhavapeddy, A.: Parallelising your ocaml code with multicore ocaml (2020)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Vouillon, J.: Lwt: a cooperative thread library. In: Proceedings of the 2008 ACM SIGPLAN workshop on ML, pp. 3\u201312 (2008)","DOI":"10.1145\/1411304.1411307"},{"key":"11_CR16","unstructured":"Team, O.M.: Domainslib. https:\/\/github.com\/ocaml-multicore\/parallel-programming-in-multicore-ocaml (2024), gitHub repository. Accessed June 17 2025"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-8411-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T17:10:30Z","timestamp":1774890630000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-8411-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819584109","9789819584116"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-8411-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"31 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICA3PP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Algorithms and Architectures for Parallel Processing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zhengzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ica3pp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ieee-cybermatics.org\/2025\/ica3pp\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}