Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,587,800 papers from all fields of science
Search
Sign In
Create Free Account
Apomorphism
An apomorphism (from ἀπό — Greek for "apart") is the categorical dual of a paramorphism and an extension of the concept of anamorphism (coinduction…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
8 relations
Anamorphism
Catamorphism
Charity
Coinduction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Sorting with bialgebras and distributive laws
R. Hinze
,
Daniel W. H. James
,
T. Harper
,
Nicolas Wu
,
J. P. Magalhães
WGP '12
2012
Corpus ID: 5475934
Sorting algorithms are an intrinsic part of functional programming folklore as they exemplify algorithm design using folds and…
Expand
2010
2010
FUNCTIONAL PROGRAMMING WITH APOMORPHISMS (CORECURSION)
V. Vene
,
Tarmo UUSTALUb
2010
Corpus ID: 14722893
In the mainstream categorical approach to typed (total) functional programming, functions with inductive source types defined by…
Expand
Highly Cited
1999
Highly Cited
1999
Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically
T. Uustalu
,
V. Vene
Informatica
1999
Corpus ID: 37149129
In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE