3 citations · 9 across the 10 of their papers we have counts for
1 paper · 1 filter
Clément Aubert, Thomas Rubiano, Neea Rusch +1
This abstract aims at presenting an ongoing effort to apply a novel typing mechanism stemming from Implicit Computational Complexity (ICC), that tracks dependencies between variabl…