Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
441	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
442	Participative Systems — Paul Pangaro Add to Reading List Source URL: www.pangaro.com Language: English - Date: 2014-05-12 15:39:28 Software architecture Infinite loop Recursion Software framework Computer programming Software engineering Computing
443	1 Under consideration for publication in J. Functional Programming EDUCATIONAL PEARL Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2005-06-15 17:20:15 Compiler construction Recursion Formal languages Expr Compiler Map C Computing Software engineering Computer programming
444	 1      Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:05 Integer sequences Tower of Hanoi Recursion Factorial Stack Function Permutation While loop Catalan number Mathematics Combinatorics Programming idioms
445	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
446	FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 04:27:31 Higher-order functions Recursion Fold Binary tree String Function Computing Mathematics Software engineering
447	Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Philosophy of language Philosophy of mind Semantics Linguistics Science Entailment Logic Interpretation Model theory
448	Terminology: Denoted and Expressed Values A denoted value is the meaning of a variable An expressed value is the result of an expression Terminology: Denoted and Expressed Values First-order functions Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Mathematical logic Recursion Lambda calculus Factorial Scheme Function Primitive recursive function Fixed-point combinator Mathematics Computability theory Computer programming
449	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic

UPDATE