15 citations · 63 across the 16 of their papers we have counts for
1 paper · 2 filters
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…