Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
621	PDF Document Add to Reading List Source URL: fortnow.com Language: English - Date: 2011-05-03 09:10:11 Theory of computation Computability theory Formal languages Recursion ACM SIGACT Symposium on Theory of Computing Finite-state machine Recursive language Primitive recursive function Applied mathematics Theoretical computer science Mathematics
622	SOFTWARE TECHNOLOGIES The Power of 10: Rules for Developing SafetyCritical Code Gerard J. Holzmann Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Source code Data types Procedural programming languages C programming language C Assertion Pointer Recursion Subroutine Computer programming Computing Software engineering
623	lion-king-simba-cutie-papercraft-printable-0811 Add to Reading List Source URL: a.dilcdn.com Language: English - Date: 2014-07-28 00:08:38 Beverage can Software engineering Computing Computer programming Fold Recursion Simba
624	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
625	Why Dependent Types Matter Thorsten Altenkirch Conor McBride The University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:46:50 Functional languages Higher-order functions Procedural programming languages Functional programming Fold Recursion Structural induction ML Map Software engineering Computing Computer programming
626	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
627	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
628	French Knot : Backs tch :  Add to Reading List Source URL: www.crabapplehillstudio.com Language: English - Date: 2012-07-31 04:20:23 Knitting Embroidery stitch Infinite loop Recursion Fabric
629	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
630	Functional Programming Patterns and Their Role in Instruction Eugene Wallingford Department of Computer Science, University of Northern Iowa, Cedar Falls, Iowa[removed]removed] Add to Reading List Source URL: www.cs.uni.edu Language: English - Date: 2002-10-01 13:49:35 Programming paradigms Programming idioms Design Recursion Theory of computation Software design pattern Object-oriented programming Pattern language Functional programming Computer programming Software engineering Computing

UPDATE