DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Anamorphism
Anamorphism
NICOLAS WU Department of Computer Science, University of Bristol (E-Mail:
[email protected]
,
[email protected]
)
A Category Theory Explanation for the Systematicity of Recursive Cognitive
Abstract Nonsense and Programming: Uses of Category Theory in Computer Science
Recursion Patterns As Hylomorphisms
A Category Theory Primer
Lambda Jam 2018-05-22 Amy Wong
Constructively Characterizing Fold and Unfold*
Problem Set 3
Cognitive Architecture and Second-Order
Recursion Parameterised by Monads: Characterisation and Examples
Chapter 3 Recursion in the Pointfree Style
New Approaches in Functional Programming Using Algebras and Coalgebras
Category Theory for Programmers
Categorical Programming with Inductive and Coinductive Types
1 Introduction
Talking Bananas Structural Recursion for Session Types
Recursion for the Masses
Functional Programming with Overloading and Higher-Order Polymorphism
Top View
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
Functional Programming with Apomorphisms (Corecursion)
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
The Rôle of Linear Logic in Coalgebraical Approach of Computing
Functional Programming with Bananas, Lenses, Envelopes
From Grammars and Automata to Algebras and Coalgebras
Programming with Categories (DRAFT)
Program Calculation Properties of Continuous Algebras
Peeling the Banana Recursion Schemes from First Principles Zainab Ali the Kind of Banana
Categorial Compositionality III: F-(Co)Algebras and the Systematicity of Recursive Capacities in Human Cognition
Classical (Co) Recursion: Programming
Efficient Lambda Encodings for Mendler-Style Coinductive Types In
Generic Storage in Haskell
Unifying Structured Recursion Schemes
Algebra of Functional Programs
Eliminating Intermediate Lists in Ph Jacob B. Schwartz