Остановите войну!
for scientists:
default search action
Francesco Dagnino
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i17]Francesco Dagnino, Fabio Pasquali:
Cauchy-completions and the rule of unique choice in relational doctrines. CoRR abs/2402.19266 (2024) - 2023
- [j12]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. 19(1) (2023) - [j11]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7(OOPSLA2): 1281-1309 (2023) - [j10]Riccardo Bianchini, Francesco Dagnino:
QueryAGT: Asynchronous global types in co-logic programming. Sci. Comput. Program. 225: 102895 (2023) - [j9]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971: 114063 (2023) - [c23]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-Graded Featherweight Java. ECOOP 2023: 3:1-3:27 - [c22]Francesco Dagnino, Fabio Pasquali:
Quotients and Extensionality in Relational Doctrines. FSCD 2023: 25:1-25:23 - [c21]Francesco Dagnino, Amin Farjudian, Eugenio Moggi:
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. ICTAC 2023: 313-331 - [i16]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-graded Featherweight Java. CoRR abs/2302.07782 (2023) - [i15]Francesco Dagnino, Francesco Gavazzo:
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. CoRR abs/2303.03271 (2023) - [i14]Francesco Dagnino, Amin Farjudian, Eugenio Moggi:
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. CoRR abs/2309.06968 (2023) - 2022
- [j8]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6(OOPSLA2): 870-898 (2022) - [j7]Francesco Dagnino:
A Meta-theory for Big-step Semantics. ACM Trans. Comput. Log. 23(3): 20:1-20:50 (2022) - [c20]Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair Termination of Multiparty Sessions. ECOOP 2022: 26:1-26:26 - [c19]Francesco Dagnino, Francesco Gavazzo:
A Fibrational Tale of Operational Logical Relations. FSCD 2022: 3:1-3:21 - [c18]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-Like Calculus with User-Defined Coeffects. ICTCS 2022: 66-78 - [c17]Francesco Dagnino, Fabio Pasquali:
Logical Foundations of Quantitative Equality. LICS 2022: 16:1-16:13 - [i13]Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair Termination of Multiparty Sessions. CoRR abs/2205.08786 (2022) - [i12]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for Sharing and Mutation. CoRR abs/2209.07439 (2022) - [i11]Luca Ciccone, Francesco Dagnino, Angelo Ferrando:
Ain't No Stopping Us Monitoring Now. CoRR abs/2211.11544 (2022) - 2021
- [b1]Francesco Dagnino:
Flexible Coinduction. University of Genoa, Italy, 2021 - [j6]Francesco Dagnino:
Foundations of regular coinduction. Log. Methods Comput. Sci. 17(4) (2021) - [j5]Francesco Dagnino, Giuseppe Rosolini:
Doctrines, modalities and comonads. Math. Struct. Comput. Sci. 31(7): 769-798 (2021) - [c16]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. COORDINATION 2021: 41-60 - [c15]Riccardo Bianchini, Francesco Dagnino:
Asynchronous Global Types in Co-logic Programming. COORDINATION 2021: 134-146 - [c14]Luca Ciccone, Francesco Dagnino, Elena Zucca:
Flexible Coinduction in Agda. ITP 2021: 13:1-13:19 - [i10]Francesco Dagnino:
A meta-theory for big-step semantics. CoRR abs/2104.05558 (2021) - [i9]Francesco Dagnino, Giuseppe Rosolini:
Doctrines, modalities and comonads. CoRR abs/2107.14031 (2021) - [i8]Francesco Dagnino, Fabio Pasquali:
Logical Foundations of Quantitative Equality (long version). CoRR abs/2110.05388 (2021) - [i7]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. CoRR abs/2111.11984 (2021) - 2020
- [j4]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A big step from finite to infinite computations. Sci. Comput. Program. 197: 102492 (2020) - [j3]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. Theory Pract. Log. Program. 20(6): 818-833 (2020) - [c13]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. ECOOP 2020: 1:1-1:28 - [c12]Pietro Barbieri, Francesco Dagnino, Elena Zucca:
An inductive abstract semantics for coFJ. FTfJP@ECOOP 2020: 4-9 - [c11]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP 2020: 32:1-32:2 - [c10]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. ESOP 2020: 169-196 - [i6]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness conditions for big-step semantics. CoRR abs/2002.08738 (2020) - [i5]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. CoRR abs/2005.14085 (2020) - [i4]Francesco Dagnino:
Foundations of regular coinduction. CoRR abs/2006.02887 (2020) - [i3]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. CoRR abs/2008.02140 (2020)
2010 – 2019
- 2019
- [j2]Francesco Dagnino:
Coaxioms: flexible coinductive definitions by inference systems. Log. Methods Comput. Sci. 15(1) (2019) - [c9]Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona:
Corecursive Featherweight Java Revisited. ICTCS 2019: 158-170 - [c8]Francesco Dagnino:
A framework for big-step semantics. Programming 2019: 27:1-27:3 - 2018
- [c7]Davide Ancona, Francesco Dagnino, Elena Zucca:
Modeling Infinite Behaviour by Corules. ECOOP 2018: 21:1-21:31 - [c6]Francesco Dagnino:
Flexible Coinduction for Infinite Behaviour. ICTCS 2018: 17-23 - [c5]Davide Ancona, Francesco Dagnino, Luca Franceschini:
A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops 2018: 24-26 - [c4]Francesco Dagnino, Marina Ribaudo:
: DRHOP, A Platform Proposal for Online Charity. WEBIST 2018: 285-292 - [i2]Francesco Dagnino:
Coaxioms: flexible coinductive definitions by inference systems. CoRR abs/1808.02943 (2018) - 2017
- [j1]Davide Ancona, Francesco Dagnino, Elena Zucca:
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1(OOPSLA): 81:1-81:26 (2017) - [c3]Davide Ancona, Francesco Dagnino, Elena Zucca:
Generalizing Inference Systems by Coaxioms. ESOP 2017: 29-55 - [i1]Francesco Dagnino:
Generalizing inference systems by coaxioms. CoRR abs/1712.01014 (2017) - 2016
- [c2]Davide Ancona, Francesco Dagnino, Elena Zucca:
Towards a model of corecursion with default. FTfJP@ECOOP 2016: 9 - [c1]Davide Ancona, Francesco Dagnino, Elena Zucca:
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty 2016: 1-18
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint