Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
351	DRAFT of June 27, 2013 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-06-27 12:30:39 Recursion Programming idioms Theoretical computer science Computability theory Self-reference Haskell Pattern matching Map Infinite loop Computer programming Software engineering Computing
352	From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:33 Higher-order functions Fold Recursion Variadic function Functional programming FO Function Arity Append Software engineering Computing Computer programming
353	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
354	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
355	Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2008-10-23 00:04:30 Higher-order functions Recursion Functions and mappings Computability theory Fold Lambda calculus Map Function Antiderivative Mathematics Mathematical analysis Computing
356	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
357	CODING PYTHON DRAWING TUTORIAL BEN EVERARD WHY DO THIS? • Gain a better Add to Reading List Source URL: www.linuxvoice.com Language: English - Date: 2015-01-08 10:21:45 Programming idioms Recursion Theoretical computer science Self-reference Python Fractal Len Python syntax and semantics Computer programming Software engineering Computing
358	Structural Recursion over Contextual Objects Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel School of Computer Science Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Model theory Formal languages Metalogic Computability theory Symbol Interpretation Primitive recursive function Substitution Logic Mathematics Mathematical logic
359	DRAFT of March 29, 2013 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-03-29 16:40:42 Recursion Programming idioms Theoretical computer science Higher-order functions Self-reference Fold Corecursion Map Pattern matching Computer programming Software engineering Computing
360	Productive Infinite Objects via Copatterns Andreas Abel1 Department of Computer Science and Engineering Chalmers and Gothenburg University Gothenburg, Sweden Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-15 14:43:02 Category theory Theoretical computer science Programming idioms Functional languages Functional programming Recursion Coinduction Haskell Pattern matching Software engineering Computer programming Computing

UPDATE