E-LIB Suche - Ergebnisse für: Dagnino, Francesco

1

Fair termination of multiparty sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming. 139 (2024) - p. 100964 , 2024

Link: https://doi.org/10.1016/..

2

Asynchronous global types in co-logic programming:

Bianchini, Riccardo ; Dagnino, Francesco
Science of Computer Programming. 225 (2023) - p. 102895 , 2023

Link: https://doi.org/10.1016/..

3

Resource-Aware Soundness for Big-Step Semantics:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1281-1309 , 2023

Link: https://doi.org/10.1145/..

4

Deconfined Global Types for Asynchronous Sessions:

Dagnino, Francesco ; Giannini, Paola ; Dezani-Ciancaglini, Mariangiola
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

A Java-like calculus with heterogeneous coeffects:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Theoretical Computer Science. 971 (2023) - p. 114063 , 2023

Link: https://doi.org/10.1016/..

6

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 870-898 , 2022

Link: https://doi.org/10.1145/..

7

A Meta-theory for Big-step Semantics:

Dagnino, Francesco
ACM Transactions on Computational Logic. 23 (2022) 3 - p. 1-50 , 2022

Link: https://doi.org/10.1145/..

8

Doctrines, modalities and comonads:

Dagnino, Francesco ; Rosolini, Giuseppe
Mathematical Structures in Computer Science. 31 (2021) 7 - p. 769-798 , 2021

Link: https://doi.org/10.1017/..

9

Foundations of regular coinduction:

Dagnino, Francesco
Logical Methods in Computer Science. 17, Issue 4 (2021) - p. , 2021

Link: https://doi.org/10.46298..

10

A big step from finite to infinite computations:

Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan.
Science of Computer Programming. 197 (2020) - p. 102492 , 2020

Link: https://doi.org/10.1016/..

11

Flexible coinductive logic programming:

DAGNINO, FRANCESCO ; ANCONA, DAVIDE ; ZUCCA, ELENA
Theory and Practice of Logic Programming. 20 (2020) 6 - p. 818-833 , 2020

Link: https://doi.org/10.1017/..

12

Reasoning on divergent computations with coaxioms:

Ancona, Davide ; Dagnino, Francesco ; Zucca, Elena
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-26 , 2017

Link: https://dl.acm.org/doi/1..

13

Reasoning on divergent computations with coaxioms:

Ancona, Davide ; Dagnino, Francesco ; Zucca, Elena
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-26 , 2017

Link: https://doi.org/10.1145/..

14

Notulae to the Italian native vascular flora: 15:

Bartolucci, Fabrizio ; Domina, Gianniantonio ; Adorni, Michele...
Italian Botanist. 15 (2023) - p. 91-109 , 2023

Link: https://doi.org/10.3897/..

15

A software-assisted untargeted liquid chromatography–mass s..:

Segrado, Francesco ; Cavalleri, Adalberto ; Cantalupi, Alice...
The International Journal of Biological Markers. 37 (2022) 4 - p. 368-376 , 2022

Link: https://doi.org/10.1177/..