From Category Theory to Functional Programming: A Formal Representation of Intent-Reference-Cited by-同舟云学术

From Category Theory to Functional Programming: A Formal Representation of Intent

Published:2022-06-27 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE 8th International Conference on Network Softwarization (NetSoft)
language:
Short-container-title:

Author:

Borsatti Davide¹,Cerroni Walter²,Clayman Stuart³

Affiliation:

1. CIRI - ICT University of Bologna,Italy

2. University of Bologna,Dept. of Electrical, Electronic and Information Engineering,Italy

3. University College London,Dept. of Electronic Engineering,London,UK

Publisher

IEEE

Link

Reference18 articles.

1. Abstraction, composition and contracts: A sheaf theoretic approach;speranzon;CoRR,2018

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks;2024 IEEE International Mediterranean Conference on Communications and Networking (MeditCom);2024-07-08

2. Oz: Towards an Extensible Intent Handler Architecture with Semantic Reasoning;NOMS 2024-2024 IEEE Network Operations and Management Symposium;2024-05-06

5. Declarative Provisioning of Virtual Network Function Chains in Intent-based Networks;2023 IEEE 9th International Conference on Network Softwarization (NetSoft);2023-06-19