25 citations · 637 across the 113 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…