Skip to search formSkip to main contentSkip to account menu

Apomorphism

An apomorphism (from ἀπό — Greek for "apart") is the categorical dual of a paramorphism and an extension of the concept of anamorphism (coinduction… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Folds over inductive datatypes are well understood and widely used. In their plain form, they are quite restricted; but many… 
2012
2012
Sorting algorithms are an intrinsic part of functional programming folklore as they exemplify algorithm design using folds and… 
Highly Cited
1999
Highly Cited
1999
In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and… 
1998
1998
In the mainstream categorical approach to typed (total) functional programming, functions with inductive source types defined by…