Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
391	• Microthreads • Generators (now obsolete) • Coroutines • • Add to Reading List Source URL: zope.stackless.com Language: English - Date: 2002-07-08 23:11:50 Subroutines Sizeof C Main function Recursion Stack Generator Software engineering Computing Computer programming
392	arXiv:1108.0174v1 [math.DG] 31 JulLectures and notes: Mirzakhani’s volume recursion and approach for the Witten-Kontsevich theorem on moduli tautological intersection numbers Scott A. Wolpert∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-08-01 20:13:20 Symplectic geometry Riemann surfaces Moduli theory Hamiltonian mechanics Linear algebra Symplectic vector space Mapping class group Moduli space Pair of pants Algebra Geometry Mathematics
393	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function First-order logic Mathematical logic Mathematics Logic
394	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
395	Continuations and Stackless Python Or "How to change a Paradigm of an existing Program" Christian Tismer Virtual Photonics GmbH mailto: Add to Reading List Source URL: zope.stackless.com Language: English - Date: 2002-07-08 23:11:40 Subroutines Control flow Recursion Concurrent computing Programming language implementation Continuation Stackless Python Tail call Coroutine Software engineering Computing Computer programming
396	Complexity of the Path Multi-Peg Tower of Hanoi Daniel Berend∗ Abstract The Tower of Hanoi problem with h ≥ 4 pegs is long known to require a sub-exponential number of moves in order to Add to Reading List Source URL: www.siam.org Language: English - Date: 2005-07-06 08:19:05 Software engineering Computing Recursion Stack Mechanical puzzles Tower of Hanoi Computer programming
397	Ornaments in Practice Thomas Williams Pierre-Évariste Dagand Didier Rémy Add to Reading List Source URL: morphis.me Language: English - Date: 2014-05-27 05:17:31 Data types Functional programming Type theory Recursion Functional languages Append Algebraic data type Map Fold Software engineering Computing Computer programming
398	Programming for MSc Part I Part 1: Fundamentals (d) Branching Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:47 Programming idioms Recursion Computability theory Subroutines Theoretical computer science Fibonacci number Fib Boo Printf format string Computer programming Computing Software engineering
399	Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Brigitte Pientka Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-07-16 18:56:31 Computability theory Programming idioms Theoretical computer science Recursion Subroutines Pattern matching Haskell Map Lambda calculus Software engineering Computing Computer programming
400	PDF Document Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2012-03-22 19:10:07 Category theory Recursion Functional programming Adjoint functors Programming idioms F-coalgebra Anamorphism Monad Variety Computer programming Software engineering Computing

UPDATE