1 paper
Everardo Barcenas, Pierre Geneves, Nabil Layaida +1
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so…