25 citations · 137 across the 18 of their papers we have counts for
1 paper · 2 filters
Jan A. Bergstra, Alban Ponse
A datatype defining rewrite system (DDRS) is an algebraic (equational) specification intended to specify a datatype. When interpreting the equations from left-to-right, a DDRS defi…