{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:10:26Z","timestamp":1767337826597,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,27]]},"DOI":"10.1109\/netsoft54395.2022.9844061","type":"proceedings-article","created":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T19:34:09Z","timestamp":1659555249000},"page":"31-36","source":"Crossref","is-referenced-by-count":8,"title":["From Category Theory to Functional Programming: A Formal Representation of Intent"],"prefix":"10.1109","author":[{"given":"Davide","family":"Borsatti","sequence":"first","affiliation":[{"name":"CIRI - ICT University of Bologna,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Cerroni","sequence":"additional","affiliation":[{"name":"University of Bologna,Dept. of Electrical, Electronic and Information Engineering,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stuart","family":"Clayman","sequence":"additional","affiliation":[{"name":"University College London,Dept. of Electronic Engineering,London,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Abstraction, composition and contracts: A sheaf theoretic approach","volume":"abs 1802 3080","author":"speranzon","year":"2018","journal-title":"CoRR"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.333.9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969208"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/VTC2020-Spring48590.2020.9128422"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3229584.3229590"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/NetSoft51509.2021.9492554"},{"article-title":"Seven sketches in compositionality: An invitation to applied category theory","year":"2018","author":"fong","key":"ref16"},{"year":"0","key":"ref17","article-title":"Category hask"},{"article-title":"Lenses: applications and generalizations","year":"0","author":"spivak","key":"ref18"},{"key":"ref4","article-title":"Functional Programs as Executable Specifications","author":"turner","year":"1984","journal-title":"Mathematical Logic and Programming Languages"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3540512845_46"},{"key":"ref5","article-title":"Some Mathematical Aspects of Functional Programming","author":"stoy","year":"1980","journal-title":"Functional Programming and Its Applications"},{"article-title":"Denotational Semantics - A Methodology for Language Development","year":"1986","author":"schmidt","key":"ref8"},{"key":"ref7","article-title":"Functional programming and proofs of program correctness","author":"turner","year":"1982","journal-title":"Tools and Notations for Program Construction"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365257"},{"key":"ref1","article-title":"Intent-Based Networking - Concepts and Definitions","author":"clemm","year":"2021","journal-title":"IETF Internet-Draft draftirtf-nmrg-ibn-concepts-definitions-06"},{"article-title":"Mathematical foundations for a compositional distributional model of meaning","year":"2010","author":"coecke","key":"ref9"}],"event":{"name":"2022 IEEE 8th International Conference on Network Softwarization (NetSoft)","start":{"date-parts":[[2022,6,27]]},"location":"Milan, Italy","end":{"date-parts":[[2022,7,1]]}},"container-title":["2022 IEEE 8th International Conference on Network Softwarization (NetSoft)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9844017\/9844019\/09844061.pdf?arnumber=9844061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T20:02:19Z","timestamp":1661198539000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9844061\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,27]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/netsoft54395.2022.9844061","relation":{},"subject":[],"published":{"date-parts":[[2022,6,27]]}}}