40 citations · 68 across the 3 of their papers we have counts for
1 paper · 1 filter
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi +1
Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices,…