1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…