A Fold for All Seasons


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


Cite this paper

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