1 citations · 1 across the 3 of their papers we have counts for
4 papers
Don't exhaust, don't waste: Resource-aware soundness for big-step semantics
Riccardo Bianchini, Francesco Dagnino, Paola Giannini +1
We extend the semantics and type system of a lambda calculus equipped with common constructs to be "resource-aware". That is, the semantics keeps track of the usage of resources, a…
Drop Edges and Adapt: a Fairness Enforcing Fine-tuning for Graph Neural Networks
Indro Spinelli, Riccardo Bianchini, Simone Scardapane
The rise of graph representation learning as the primary solution for many different network science tasks led to a surge of interest in the fairness of this family of methods. Lin…
Multi-graded Featherweight Java
Riccardo Bianchini, Francesco Dagnino, Paola Giannini +1
Resource-aware type systems statically approximate not only the expected result type of a program, but also the way external resources are used, e.g., how many times the value of a…
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini +2
In type-and-coeffect systems, contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bott…