{"id":"https://openalex.org/W4289655068","doi":"https://doi.org/10.1109/netsoft54395.2022.9844061","title":"From Category Theory to Functional Programming: A Formal Representation of Intent","display_name":"From Category Theory to Functional Programming: A Formal Representation of Intent","publication_year":2022,"publication_date":"2022-06-27","ids":{"openalex":"https://openalex.org/W4289655068","doi":"https://doi.org/10.1109/netsoft54395.2022.9844061"},"language":"en","primary_location":{"id":"doi:10.1109/netsoft54395.2022.9844061","is_oa":false,"landing_page_url":"https://doi.org/10.1109/netsoft54395.2022.9844061","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 8th International Conference on Network Softwarization (NetSoft)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://discovery.ucl.ac.uk/10157472/1/WIN_2022___Netsoft-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036893834","display_name":"Davide Borsatti","orcid":"https://orcid.org/0000-0002-3121-5018"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Davide Borsatti","raw_affiliation_strings":["CIRI - ICT University of Bologna,Italy","CIRI - ICT University of Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"CIRI - ICT University of Bologna,Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"CIRI - ICT University of Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078624775","display_name":"Walter Cerroni","orcid":"https://orcid.org/0000-0002-4629-031X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Walter Cerroni","raw_affiliation_strings":["University of Bologna,Dept. of Electrical, Electronic and Information Engineering,Italy","Dept. of Electrical, Electronic and Information Engineering, University of Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"University of Bologna,Dept. of Electrical, Electronic and Information Engineering,Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Dept. of Electrical, Electronic and Information Engineering, University of Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075799593","display_name":"Stuart Clayman","orcid":"https://orcid.org/0000-0001-7994-6066"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Stuart Clayman","raw_affiliation_strings":["University College London,Dept. of Electronic Engineering,London,UK","Dept. of Electronic Engineering, University College London, London, UK"],"affiliations":[{"raw_affiliation_string":"University College London,Dept. of Electronic Engineering,London,UK","institution_ids":["https://openalex.org/I45129253"]},{"raw_affiliation_string":"Dept. of Electronic Engineering, University College London, London, UK","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036893834"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":0.999,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.77100467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"31","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8225519061088562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8093254566192627},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.7043490409851074},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5958722233772278},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5182435512542725},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.42424148321151733},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41496971249580383},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.2581193745136261}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8225519061088562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8093254566192627},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.7043490409851074},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5958722233772278},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5182435512542725},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.42424148321151733},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41496971249580383},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2581193745136261}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/netsoft54395.2022.9844061","is_oa":false,"landing_page_url":"https://doi.org/10.1109/netsoft54395.2022.9844061","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 8th International Conference on Network Softwarization (NetSoft)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10157472","is_oa":true,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10157472/","pdf_url":"https://discovery.ucl.ac.uk/10157472/1/WIN_2022___Netsoft-2.pdf","source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In: Clemm, A and Maier, G and Machuca, CM and Ramakrishnan, KK and Risso, F and Chemouil, P and Limam, N, (eds.) Proceedings of the 2022 IEEE 8th International Conference on Network Softwarization (NetSoft).  (pp. pp. 31-36).  IEEE: Milan, Italy. (2022)     ","raw_type":"Proceedings paper"},{"id":"pmh:oai:cris.unibo.it:11585/904737","is_oa":false,"landing_page_url":"https://hdl.handle.net/11585/904737","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10157472","is_oa":true,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10157472/","pdf_url":"https://discovery.ucl.ac.uk/10157472/1/WIN_2022___Netsoft-2.pdf","source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In: Clemm, A and Maier, G and Machuca, CM and Ramakrishnan, KK and Risso, F and Chemouil, P and Limam, N, (eds.) Proceedings of the 2022 IEEE 8th International Conference on Network Softwarization (NetSoft).  (pp. pp. 31-36).  IEEE: Milan, Italy. (2022)     ","raw_type":"Proceedings paper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6299999952316284,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4289655068.pdf","grobid_xml":"https://content.openalex.org/works/W4289655068.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1584713588","https://openalex.org/W2006346808","https://openalex.org/W2089241138","https://openalex.org/W2111304450","https://openalex.org/W2134112335","https://openalex.org/W2862472526","https://openalex.org/W2997290241","https://openalex.org/W3002683348","https://openalex.org/W3038272788","https://openalex.org/W3121646244","https://openalex.org/W3175380024","https://openalex.org/W4293505993","https://openalex.org/W4295187716","https://openalex.org/W4298392952","https://openalex.org/W6632732432","https://openalex.org/W6636406996","https://openalex.org/W6676819262","https://openalex.org/W6748161914","https://openalex.org/W6748531063","https://openalex.org/W6772142856"],"related_works":["https://openalex.org/W1671914757","https://openalex.org/W3004782279","https://openalex.org/W1980428548","https://openalex.org/W2110317952","https://openalex.org/W2060445097","https://openalex.org/W76619263","https://openalex.org/W2286281461","https://openalex.org/W1988194486","https://openalex.org/W1585224757","https://openalex.org/W4296878212"],"abstract_inverted_index":{"The":[0,20],"possibility":[1],"of":[2,17,59,85,105,123],"managing":[3],"network":[4,31,47,53,60,76,98],"infrastructures":[5],"through":[6],"software-based":[7],"programmable":[8],"interfaces":[9],"is":[10,25,69,126],"becoming":[11],"a":[12,26,35,43,72,103,130],"cornerstone":[13],"in":[14],"the":[15,51,57,66,83],"evolution":[16],"communication":[18],"networks.":[19],"Intent-Based":[21],"Networking":[22],"(IBN)":[23],"paradigm":[24,41,108],"novel":[27],"declarative":[28,73,86,107],"approach":[29,74,117],"towards":[30],"management":[32,48,77],"proposed":[33],"by":[34],"few":[36],"Standards":[37],"Developing":[38],"Organizations.":[39],"This":[40,100],"offers":[42],"high-level":[44],"interface":[45],"for":[46,95],"that":[49,82],"abstracts":[50],"underlying":[52],"infrastructure":[54],"and":[55,78],"allows":[56],"specification":[58],"directives":[61],"using":[62,128],"natural":[63],"language.":[64,134],"Since":[65],"IBN":[67,90],"concept":[68],"based":[70],"on":[71],"to":[75,88,118],"programmability,":[79],"we":[80],"argue":[81],"use":[84],"programming":[87,133],"achieve":[89],"could":[91],"uncover":[92],"valuable":[93],"insights":[94],"this":[96,106,116,124],"new":[97],"paradigm.":[99],"paper":[101],"proposes":[102],"formalization":[104,125],"obtained":[109],"with":[110],"concepts":[111],"from":[112],"category":[113],"theory.":[114],"Taking":[115],"Intent,":[119],"an":[120],"initial":[121],"implementation":[122],"presented":[127],"Haskell,":[129],"well-known":[131],"functional":[132]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}