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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Sorting algorithms are an intrinsic part of functional programming folklore as they exemplify algorithm design using folds and… 
2010
2010
In the mainstream categorical approach to typed (total) functional programming, functions with inductive source types defined by… 
Highly Cited
1999
Highly Cited
1999
In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and…