DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Catamorphism
Catamorphism
NICOLAS WU Department of Computer Science, University of Bristol (E-Mail:
[email protected]
,
[email protected]
)
301669474.Pdf
A Note on the Under-Appreciated For-Loop
Strong Functional Pearl: Harper's Regular-Expression Matcher In
Recursion Patterns As Hylomorphisms
Constructively Characterizing Fold and Unfold*
Problem Set 3
Cognitive Architecture and Second-Order
Chapter 3 Recursion in the Pointfree Style
Categorical Programming with Inductive and Coinductive Types
Sorting with Bialgebras and Distributive Laws
1 Introduction
Recursion for the Masses
Catamorphism Generation and Fusion Using Coq
A Bmf for Semantics! E
Department of Computing Science Catamorphism-Based Program
Creating Canned Recursion in Functional Programming Languages from Category Theory
Bananas in Space: Extending Fold and Unfold to Exponential Types
Top View
Functional Programming with Apomorphisms (Corecursion)
Functional Programming with Bananas, Lenses, Envelopes
Bringing Functions Into the Fold
Program Calculation Properties of Continuous Algebras
Classical (Co) Recursion: Programming
Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth
Generic Storage in Haskell
Category Theory Applied to Functional Programming
Unifying Structured Recursion Schemes