VariousWords beta
Related Terms:
Noun
Definition: A generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras.
VariousWords beta
Definition: A generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras.