Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
101	The F# 3.1 Language Specification Note: This documentation is the specification of the 3.1 release of F# for releases and updates made inDiscrepancies may exist between this specification and the 3.1 implementa Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system C Expression Operator Recursion C Sharp syntax
102	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
103	Microsoft PowerPoint - lecture_Yop_spring05v2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-13 08:49:07 Mathematics Algebra Computability theory Linear algebra Spectral theory Theoretical computer science Subroutines Recursion Recurrence relation Lambda calculus Spectral theory of ordinary differential equations
104	BU CAS CS 320 (Spring Semester, Concepts of Programming Languages Assignment 5 Out: Tuesday, 19 Feburary 2002 Due: Friday, 1 March 2002 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-10-01 21:50:12 Software engineering Computer programming Declarative programming Functional languages Data structures Standard ML Recursion Haskell features
105	First Order Haskell Neil Mitchell York University www.cs.york.ac.uk/~ndm λ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold Oz Monad Map XS Haskell features
106	Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA) Add to Reading List Source URL: www.klomp.org Language: English - Date: 2015-01-25 16:44:17 Software engineering Computer programming Programming paradigms Theoretical computer science Programming idioms Computability theory Alma-0 Backtracking Logic programming Recursion Prolog Imperative programming
107	Tree Search Guoliang Li Motivation Problem Applications Metrics Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2008-07-12 03:58:33 Computer programming Graph theory Software engineering Data types Recursion Tree traversal R-tree B-tree Tree Graph edit distance
108	Preprint version, including errata: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=Shared Memory Parallelization of Fully-Adaptive Simulations Using a Dynamic Tree-Split and -Join Approach Add to Reading List Source URL: www5.in.tum.de Language: English Mathematics Computer programming Software engineering Recursion Combinatorics Integer sequences Tree traversal Partition of a set Stack Parallel computing Partition Binary tree
109	Written Examination, December 18th, 2014 Course noThe duration of the examination is 4 hours. Course Name: Functional programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2015-04-21 04:40:47 Mathematical analysis Probability Statistics Probability and statistics Probability theory Expected value Recursion Mode Probability distribution Inductive probability
110	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming