Searching for "Paramorphisms." – sorted by Relevance.
56 documents found, showing 1 through 10.
Next 10 →
-
Paramorphisms
- … [[IN]] meaningful. We give name to this paramorphism: (27) preds := IllNIl M, L Now it turns out…
- Cited by 5 (0 self) – Add To MetaCart
-
Program fusion with paramorphisms
- …Program Fusion with Paramorphisms Facundo Domínguez and Alberto Pardo Instituto de Computación…
- Cited by 1 (0 self) – Add To MetaCart
-
Estimating Risk Tolerance: The Degree of Accuracy and the Paramorphic Representations
- …Estimating Risk Tolerance: The Degree of Accuracy and the Paramorphic Representations…
- Add To MetaCart
-
Functional Programming with Apomorphisms (Corecursion)
- … by primitive recursion are called paramorphisms; the utility of primitive recursion as a scheme for defining…
- Cited by 8 (1 self) – Add To MetaCart
-
Defining a non-concrete recursive type in HOL which includes sets
- … recursion scheme of this type # -- that is, g is a paramorphism [Mee90] -- provides an adequate and complete…
- Add To MetaCart
-
Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically
- … as catamorphisms and anamorphisms. Primitive recursion has been captured by a construction called paramorphisms. We…
- Cited by 9 (3 self) – Add To MetaCart
-
Chairperson Date Approved
- …A Modular, Algebra-Sequenced Paramorphic Constraint-Based Type Checker for Rosetta Mark H. Snyder…
- Add To MetaCart
-
Fission for Program Comprehension
- … (unfoldn f b ′ ) 2.5 Paramorphisms and hylomorphisms Meertens [14] presents a generalization of folds…
- Add To MetaCart
-
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
- …) Paramorphisms The hylomorphism definition of the factorial maybe correct but is unsatisfactory from a theoretic…
- Cited by 252 (8 self) – Add To MetaCart
-
The Role of Verbal and Visual Metaphors in Biological Theories
- … and as such the source and subject of the model will be different. Such models are called paramorphic and all explanatory…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
