4 citations · 4 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Temur Kutsia, Daniel Ventura, David Monniaux +1
This volume contains * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by th…
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…