Francesco Dagnino

CoRR, 2024

2023

Resource-Aware Soundness for Big-Step Semantics.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

A Java-like calculus with heterogeneous coeffects.

[BibT_eX]

[DOI]

Theor. Comput. Sci., September, 2023

QueryAGT: Asynchronous global types in co-logic programming.

[BibT_eX]

[DOI]

Riccardo Bianchini

Sci. Comput. Program., 2023

Deconfined Global Types for Asynchronous Sessions.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Paola Giannini

Log. Methods Comput. Sci., 2023

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.

[BibT_eX]

[DOI]

Francesco Gavazzo

CoRR, 2023

Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.

[BibT_eX]

[DOI]

Amin Farjudian

Eugenio Moggi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Quotients and Extensionality in Relational Doctrines.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

Multi-Graded Featherweight Java.

[BibT_eX]

[DOI]

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A Meta-theory for Big-step Semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2022

Coeffects for sharing and mutation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Ain't No Stopping Us Monitoring Now.

[BibT_eX]

[DOI]

Luca Ciccone

Angelo Ferrando

CoRR, 2022

Logical Foundations of Quantitative Equality.

[BibT_eX]

[DOI]

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

A Java-Like Calculus with User-Defined Coeffects.

[BibT_eX]

[DOI]

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

A Fibrational Tale of Operational Logical Relations.

[BibT_eX]

[DOI]

Francesco Gavazzo

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Fair Termination of Multiparty Sessions.

[BibT_eX]

[DOI]

Luca Ciccone

Luca Padovani

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Flexible Coinduction.

[BibT_eX]

[DOI]

PhD thesis, 2021

Doctrines, modalities and comonads.

[BibT_eX]

[DOI]

Giuseppe Rosolini

Math. Struct. Comput. Sci., 2021

Foundations of regular coinduction.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Logical Foundations of Quantitative Equality (long version).

[BibT_eX]

[DOI]

CoRR, 2021

Flexible Coinduction in Agda.

[BibT_eX]

[DOI]

Luca Ciccone

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Asynchronous Global Types in Co-logic Programming.

[BibT_eX]

[DOI]

Riccardo Bianchini

Proceedings of the Coordination Models and Languages, 2021

2020

Flexible coinductive logic programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

A big step from finite to infinite computations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Soundness Conditions for Big-Step Semantics.

[BibT_eX]

[DOI]

Viviana Bono

Mariangiola Dezani-Ciancaglini

Proceedings of the Programming Languages and Systems, 2020

An inductive abstract semantics for coFJ.

[BibT_eX]

[DOI]

Pietro Barbieri

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

A Big Step from Finite to Infinite Computations (SCICO Journal-first).

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Sound Regular Corecursion in coFJ.

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Coaxioms: flexible coinductive definitions by inference systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

A framework for big-step semantics.

[BibT_eX]

[DOI]

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Corecursive Featherweight Java Revisited.

[BibT_eX]

[DOI]

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

2018

: DRHOP, A Platform Proposal for Online Charity.

[BibT_eX]

[DOI]

Marina Ribaudo

Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018

A formalism for specification of Java API interfaces.

[BibT_eX]

[DOI]

Luca Franceschini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Flexible Coinduction for Infinite Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Modeling Infinite Behaviour by Corules.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Reasoning on divergent computations with coaxioms.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Generalizing inference systems by coaxioms.

[BibT_eX]

[DOI]

CoRR, 2017

Generalizing Inference Systems by Coaxioms.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

2016

Extending Coinductive Logic Programming with Co-Facts.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Towards a model of corecursion with default.

[BibT_eX]

[DOI]