1.2k citations · 3.5k across the 50 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…