Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

Erik Meijer, M. F., & Paterson, R. (1991). Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.

Type

Unclassified

Intellectual base

Unclassified

Year

1991

DOI

10.1007/3540543961_7

Link

https://doi.org/10.1007/3540543961_7

Cited by

1 citation across 1 artifact.

Domain-specific

• Anamorphism
  • Given an endofunctor and a coalgebra from seeds to one-step observations and successor seeds, the anamorphism is the unique coalgebra morphism into the final coalgebra; list unfolds are the standard programming instance.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:5bda76fbfefe · see in the full table