Francesco Dagnino -

Registered user since Thu 19 Apr 2018

Name:Francesco Dagnino

Country:Italy

Affiliation:University of Genoa

Personal website: https://fdgn.github.io

Research interests:Theoretical Computer Science, Programming Language Semantics, Type Systems

Contributions

2023

SPLASH

Author of Resource-Aware Soundness for Big-Step Semantics within the OOPSLA-track

ECOOP

Author of Multi-Graded Featherweight Java within the Research Papers-track

2022

SPLASH

Author of Coeffects for Sharing and Mutation within the OOPSLA-track

miniKanren

PC Member in Program Committee within the miniKanren 2022-track

ECOOP

Author of Fair Termination of Multiparty Sessions within the Research Papers-track

2020

ECOOP

FTfJP

Author of An inductive abstract semantics for coFJ within the FTfJP-track

2019

‹Programming›

2018

FTfJP

Author of A Formalism for Specification of Java API Interfaces within the FTfJP-track

ECOOP

Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track

ECOOP/ISSTA

Author of Modelling infinite behaviour by corules within the Posters-track

2017

SPLASH

Author of Reasoning on Divergent Computations with Coaxioms within the OOPSLA-track

2016

FTfJP

Author of Towards a Model of Corecursion with Default within the FTfJP-track