Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dagnino, Francesco
152  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Multi-graded Featherweight Java:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
http://arxiv.org/abs/2302.07782.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

A Fibrational Tale of Operational Logical Relations: Pure, ..:

Dagnino, Francesco ; Gavazzo, Francesco
http://arxiv.org/abs/2303.03271.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

Robustness in Metric Spaces over Continuous Quantales and t..:

Dagnino, Francesco ; Farjudian, Amin ; Moggi, Eugenio
http://arxiv.org/abs/2309.06968.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

A Java-like calculus with heterogeneous coeffects:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
volume:971.  , 2023
Link: https://hdl.handle.net/1..
 
?
5

Resource-Aware Soundness for Big-Step Semantics:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
volume:7.  , 2023
Link: https://hdl.handle.net/1..
 
?
6

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
doi:10.4230/LIPIcs.ECOOP.2022.26.  , 2022
Link: https://doi.org/10.4230/..
 
?
7

A Fibrational Tale of Operational Logical Relations:

Dagnino, Francesco ; Gavazzo, Francesco
doi:10.4230/LIPIcs.FSCD.2022.3.  , 2022
Link: https://doi.org/10.4230/..
 
?
8

A Fibrational Tale of Operational Logical Relations:

Dagnino, Francesco ; Gavazzo, Francesco
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2022.3.  , 2022
Link: https://hal.science/hal-..
 
?
9

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
hal-03667020.  , 2022
Link: https://hal.science/hal-..
 
?
10

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
volume:6.  , 2022
Link: http://hdl.handle.net/11..
 
?
11

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
http://arxiv.org/abs/2205.08786.  , 2022
Link: http://arxiv.org/abs/220..
 
?
12

Coeffects for Sharing and Mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
http://arxiv.org/abs/2209.07439.  , 2022
Link: http://arxiv.org/abs/220..
 
?
13

A Fibrational Tale of Operational Logical Relations:

Dagnino, Francesco ; Gavazzo, Francesco
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2022.3.  , 2022
Link: https://hal.science/hal-..
 
?
14

Ain't No Stopping Us Monitoring Now:

Ciccone, Luca ; Dagnino, Francesco ; Ferrando, Angelo
http://arxiv.org/abs/2211.11544.  , 2022
Link: http://arxiv.org/abs/221..
 
?
15

Flexible Coinduction:

DAGNINO, FRANCESCO
http://hdl.handle.net/11567/1035050.  , 2021
Link: http://hdl.handle.net/11..
 
1-15