Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
151	CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-17 14:01:34 Functional languages Procedural programming languages Subroutines Functional programming Type theory ML Monad Scope Recursion Standard ML Nested function HindleyMilner type system
152	CS369N: Beyond Worst-Case Analysis Lecture #1: Instance Optimality∗ Tim Roughgarden† February 19, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-09-26 19:00:24 Theoretical computer science Computability theory Algorithm Mathematical logic Algorithms Recursion Function Algorithm characterizations Elliptic curve primality
153	Understanding Idiomatic Traversals Backwards and Forwards Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtl¨ander July 3rd, 2013 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming language comparisons Functional programming Programming idioms Recursion Monad Tree traversal Map Foreach loop Depth-first search
154	Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Computer arithmetic Abstract interpretation Floating point Interval arithmetic Fluctuat Rounding Infinite loop Affine arithmetic Lookup table Recursion Division algorithm Fixed-point arithmetic
155	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
156	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
157	Performance, then Productivity Rethinking Solvers for Extreme Scale Architectures William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Theoretical computer science Parallel computing Computability theory Algorithm Mathematical logic Recursion Blue Gene
158	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
159	Supero: Making Haskell Faster Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Higher-order functions Programming language comparisons Fold Recursion Haskell Tak Map Haskell features
160	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction

UPDATE