4 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Sandra Alves, Delia Kesner, Daniel Ventura
This paper shows that the recent approach to quantitative typing systems for programming languages can be extended to pattern matching features. Indeed, we define two resource awar…