A Fold for All Seasons

Abstract

Generic control operators, such as fold,, can be generated from algebraic type definitions. The class of types to which these techniques are applicable is generalized to all algebraic types definable in languages such as Miranda and ML, i.e. mutually recursive sums-of-products with tuplee and function types. Several other useful generic operators, aleo… (More)
DOI: 10.1145/165180.165216

Topics

Cite this paper

@inproceedings{Sheard1993AFF, title={A Fold for All Seasons}, author={Tim Sheard and Leonidas Fegaras}, booktitle={FPCA}, year={1993} }