Description Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation ...

Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ...