Paramorphisms correspond to a larger class of inductive definition patterns; in fact, we show that any function defined on an initial type can be expressed as a ...

Define paramorphism. paramorphism synonyms, paramorphism pronunciation, paramorphism translation, English dictionary definition of paramorphism. n.

The study of general recursion schemes, which includes paramorphisms, is essentially the study of alternatives to unbounded recursion/iteration that are better ...

n. para- 1 + -morphism 1865–70 'paramorphism' also found in these entries (note: many are not synonyms or translations): allomorphism.

Paramorphism definition: Structural alteration of a mineral without change of chemical composition.

Jun 20, 2024 · Our method synthesizes paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types.

paramorphism, n. meanings, etymology, pronunciation and more in the Oxford English Dictionary.

Dec 7, 2024 · A paramorphism is a bottom-up recursive function whose inductive step may also depend on the initial value in addition to the recursive results ...

May 29, 2023 · The change of one mineral species to another, so as to involve a change in physical characters without alteration of chemical composition.

Our method synthesizes paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types. The crux of our ...