37 citations · 96 across the 19 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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★ 5 cited
Strong Bisimulation for Control Operators
Eduardo Bonelli, Delia Kesner, Andrés Viso
The purpose of this paper is to identify programs with control operators whose reduction semantics are in exact correspondence. This is achieved by introducing a relation ,…