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