Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
801	BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-09-23 18:42:18 Lambda calculus Subroutines Recursion Theoretical computer science Computability theory Lambda lifting Fold Closure Scheme Software engineering Computing Computer programming
802	revised[removed]:06 [removed] Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2011-10-06 13:12:28 Linguistics Recursion Parsing Context-free grammar Transformational grammar Formal grammar Tree-adjoining grammar Merge Attribute grammar Formal languages Software engineering Computer programming
803	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
804	ZU064-05-FPR aopa Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2009-01-30 14:43:06 Higher-order functions Recursion Fold Functional languages Map Functions and mappings Lambda calculus Agda Function Software engineering Computing Declarative programming
805	From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference Add to Reading List Source URL: coalg.org Language: English - Date: 2012-02-09 12:55:46 Model theory Functions and mappings Recursion First-order logic Function Knaster–Tarski theorem Universal quantification Categorical logic Topos Mathematics Mathematical logic Logic
806	ABSTRACT INTERPRETATION USING LAZINESS: PROVING CONWAY’S LOST COSMOLOGICAL THEOREM KEVIN WATKINS Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-14 13:01:55 Elementary mathematics Functional languages Procedural programming languages Higher-order functions Fold Recursion ML Sequence Function Software engineering Computer programming Computing
807	JErlang: Erlang with Joins Hubert Plociniczak1 and Susan Eisenbach2 ´ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-04-07 07:05:53 Subroutines Lambda calculus Recursion Ericsson Erlang Closure Actor model Pattern matching Fixed-point combinator Computing Software engineering Computer programming
808	Constructionism 2010, Paris Bringing “No Ceiling” to Scratch: Can One Add to Reading List Source URL: byob.berkeley.edu Language: English - Date: 2010-05-29 11:42:14 Visual programming languages Functional languages Scratch Subroutines BYOB Programming paradigms Recursion Logo Scheme Software engineering Computing Computer programming
809	LNCS[removed]Build, Augment and Destroy, Universally Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2004-10-21 01:26:05 Functional programming Higher-order functions Fold Recursion Limit Initial algebra Adjoint functors Map Cone Category theory Mathematics Declarative programming
810	Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science

UPDATE