4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Nominal Sets in Rocq
Fabrício Sanches Paranhos, Daniel Ventura
Nominal techniques have been praised for their ability to formalize grammars with binding structures closer to their informal developments. At its core, there lies the definition o…
cs.LO2019★ 4 cited
A Quantitative Understanding of Pattern Matching
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…