1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Thibaut Balabonski
The evaluation mechanism of pattern matching with dynamic patterns is modelled in the Pure Pattern Calculus by one single meta-rule. This contribution presents a refinement which n…