Anamorphism - PDFSEARCH.IO - Document Search Engine

Anamorphism
Results: 25

#	Item
11	PROJECT. THE STORY OF OUR PLANET UNFOLDS ... FOL Add to Reading List Source URL: climateinstitute.org.au Language: English - Date: 2014-09-09 20:25:08 Anamorphism Diagram Infographics Level 2
12	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
13	A Shortcut Fusion Rule for Circular Program Calculation Jo˜ao Paulo Fernandes ∗ Alberto Pardo Jo˜ao Saraiva Add to Reading List Source URL: www.fing.edu.uy Language: English - Date: 2007-07-31 11:45:54 Higher-order functions Map Tree traversal Continuous function Fold Anamorphism Monad Software engineering Declarative programming Computing
14	Electronic Notes in Theoretical Computer Science 44 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages When is a function a fold or an unfold? Jeremy Gibbons a , Graham Hutton b , and Thorsten A Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-05-08 03:49:24 Higher-order functions Category theory Isomorphism theorems Fold Recursion Morphisms Anamorphism Map Function composition Mathematics Abstract algebra Declarative programming
15	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga y Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-12-22 08:04:21 Category theory Recursion Higher-order functions Functional programming Functions and mappings Fold Anamorphism Catamorphism Map Mathematics Declarative programming Software engineering
16	Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms Ralf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England [removed] Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-03-21 10:34:15 Recursion Adjoint functors Fold Functor Function Anamorphism Sheaf Universal property Μ operator Mathematics Category theory Functions and mappings
17	Chapter 8 Algebraic Methods for Optimization Problems Richard Bird, Jeremy Gibbons and Shin-Cheng Mu Abstract. We argue for the beneﬁts of relations over functions for modelling programs, and even more so for modellin Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2003-08-20 02:35:09 Higher-order functions Category theory Fold Recursion Function Map Surjective function Homomorphism Anamorphism Mathematics Mathematical analysis Functions and mappings
18	Santa by Steven Casey Begin with a square white side up. b a Add to Reading List Source URL: www.josephwu.com Language: English - Date: 2000-04-27 19:56:38 Software engineering Paper folding Functional programming Declarative programming Fold Anamorphism Origami Yoshizawa-Randlett system Structural geology
19	WINTER WOODS SNOW FLAKES Create brilliantly intricate snowflakes like the ones that fall from the chilly skies of Pixie Hollow Winter Woods! Add to Reading List Source URL: www.wdistudio.com Language: English - Date: 2012-12-17 22:29:29 Tinker Bell Leucojum Anamorphism Earth Precipitation Snow Snowflake
20	PDF Document Add to Reading List Source URL: igs.indiana.edu Language: English - Date: 2013-01-02 12:52:22 Indiana Geological Survey Indiana University Anamorphism Crease Fold Unfold Software engineering Functional programming Declarative programming