recursion-schemes

24 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Recursion scheme allowing dependencies between recursive calls (an ordered catamorphism?)
user_64715100
•
2
2
179
recursion-schemes category-theory fold functional-programming haskell
Is it possible to create efficient recombining trees using (co)recursion?
user_21960340
•
2
1
111
recursion-schemes binary-tree recursion haskell
How do I write a CV-Coalgebra in Idris2?
user_17267970
•
2
1
48
recursion-schemes idris
How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?
user_5939340
•
2
0
86
type-theory fixpoint-combinators recursion-schemes church-encoding functional-programming
Recursion scheme for tree-like structure
user_119154130
•
5
0
200
catamorphism recursion-schemes functional-programming haskell
Fix and Mu isomorphic
user_27180640
•
7
1
320
fixpoint-combinators recursion-schemes haskell
How to update a structure with recursion schemes?
user_16356720
•
6
1
182
recursion-schemes haskell
How can I walk this type with a recursion scheme instead of explicit recursion?
user_75090650
•
6
2
290
recursion-schemes recursive-datastructures haskell
Learning recursion schemes in Haskell by TicTacToe
user_31029350
•
3
1
347
recursion-schemes recursion haskell
Histomorphism a la Mendler
user_46435910
•
3
1
149
recursion-schemes haskell
Hot Questions