Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
751	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: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Higher-order functions Fold Recursion Variadic function Functional programming FO Function Arity Append Software engineering Computing Computer programming
752	® III Phrase Sampler User Manual Version 3.3 Software Add to Reading List Source URL: boomerangmusic.com Language: English - Date: 2014-06-16 21:47:51 Infinite loop Recursion Loop route D-loop Control flow MIDI Computer programming Computing Software engineering
753	STRANGE LOOPS IN CFML, A LIVECODER’S RIDDLE Adam M. Smith Santa Cruz, CA, USA [removed] ABSTRACT The practice of livecoding borrows heavily from the techniques and vocabulary of music and computer programming. Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:52 Theoretical computer science Programming idioms Mathematical logic ColdFusion Markup Language Computability theory Recursion Algorithm Comps Subroutine Computer programming Computing Software engineering
754	ConcaveProgramming-Manual Add to Reading List Source URL: www.rusakov.donpac.ru Language: English - Date: 2011-01-10 10:22:09 Recursion Operations research Higher-order functions Subroutines Procedural programming languages Mathematical optimization Fold Optimization problem Vector space Computer programming Software engineering Computing
755	Estimation and Moment Recursion Relations for Multimodal Distributions of the Exponential Family LOREN COBB, PETER KOPPSTEIN, and NENG HSIN CHEN Abstract: Multimodal generalizations of the normal, gamma, inverse gamma, a Add to Reading List Source URL: www.aetheling.com Language: English - Date: 2010-08-15 18:15:49 Beta distribution Normal distribution Mixture distribution Kurtosis Maximum likelihood Central limit theorem Bessel function Phase-type distribution Errors-in-variables models Statistics Mathematical analysis Estimation theory
756	A HOPE TUTORIAL Roger Bailey, Imperial College 1 1.1 Add to Reading List Source URL: www.soi.city.ac.uk Language: English - Date: 2000-04-18 09:35:25 Functional languages Functions and mappings Procedural programming languages Function Recursion ATS ALGOL 68 Eval Pascal Software engineering Computing Computer programming
757	Origami programming Jeremy Gibbons 3 origami (˛ Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-07-11 11:15:52 Higher-order functions Functional programming Lisp programming language Recursion Data types Fold Map Append Anamorphism Software engineering Computing Computer programming
758	A language for functional web programming Bachelor of Science thesis Anton Ekblad University of Gothenburg Add to Reading List Source URL: ekblad.cc Language: English - Date: 2012-02-21 17:19:00 Cross-platform software Scripting languages Higher-order functions Recursion Functional languages JavaScript Fold Haskell Closure Software engineering Computing Computer programming
759	GOO Reference Manual v46 Jonathan Bachrach MIT AI Lab November 19, [removed]Introduction Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2003-11-19 14:59:49 Functional programming Higher-order functions Lambda calculus Subroutines Recursion Anonymous function Monad Function Map Software engineering Declarative programming Computing
760	Functional Programming and Specification Lecture Note 3, 11 March 2011 Proving that a function meets its specification We can show that a program satisfies its specification by proving that it satisfies all of the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-11 07:20:09 Inductive reasoning Mathematical logic Mathematical proofs Graph theory Mathematical induction Structural induction Recursion List Constructible universe Mathematics Software engineering Computer programming

UPDATE