279 citations · 1.1k across the 46 of their papers we have counts for
1 paper · 1 filter
Marco Gaboardi
In this tutorial I will present how a combination of linear and dependent type can be useful to describe different properties about higher order programs. Linear types have been pr…