Automatic Generation and Use of Abstract Structure Operators

Abstract

structures are those structures definable by parametric and recursive type equations.Manipulation of the instances of such structures is often expressed as recursive functions.These functions can be quite complex and tedious to write, especially for types needed to model complex objects found in many modern applications.We define a set of operators for computing over abstract structures that provide a clean interface with large functionality.These operations