9 citations · 21 across the 13 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
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…
cs.LO2019
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Michele Pagani, Sandra Alves
This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection…