Searching for "Least Fixed Point of a Functor." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Coproducts Of Ideal Monads
- … typically arise as least fixed points of higher-order functors. The results above do not apply to coproducts…
- Cited by 2 (0 self) – Add To MetaCart
-
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
- … fixed point of a functor 1 . Functors A bifunctor y is a binary operation taking types into types…
- Cited by 252 (8 self) – Add To MetaCart
-
Type Parametric Programming
- … fixed point of a functor, then use this functor to capture recursion patterns over that type[4, 3, 9…
- Cited by 13 (6 self) – Add To MetaCart
-
Type Parametric Programming
- … fixed point of a functor, then use this functor to capture recursion patterns over that type[4, 3, 9…
- Add To MetaCart
-
Representing nested inductive types using W-types
- … an operation μ constructing the least fixed point of a functors. If we regard a functor F :D×C → C as a type…
- Cited by 3 (2 self) – Add To MetaCart
-
Syntactic Composition of Top-Down Tree Transducers is Short Cut Fusion
- …-)mediator), initial/final object, (co-)product (functor), projection, injection, initial F-algebra, least fixed point…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 6.
