Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
761	Natural Law: The Dynamics of Syntactic Representations in MP Add to Reading List Source URL: opus.kobv.de Language: English - Date: 2009-06-24 06:36:03 Generative linguistics Noam Chomsky Programming idioms Grammar Theoretical computer science Merge X-bar theory Recursion Minimalist program Linguistics Syntax Language
762	Data Types, Functions, and Programming Daniel R. Grayson? and Michael E. Stillman?? In this chapter we present an introduction to the structure of Macaulay 2 commands and the writing of functions in the Macaulay 2 langua Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-04-28 11:05:54 Theoretical computer science Recursion Function Hash function Eval Fixed-point combinator Comparison of programming languages Μ operator Mathematics Functions and mappings Computing
763	Questions in Recursion Theory December 1997 This is an informal list of some open problems in recursion theory. Solutions and new questions are welcome, as well as corrections to the attributions given below. Please, sen Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2002-11-21 07:33:52 Mathematics Recursively enumerable set Turing degree Maximal set Creative and productive sets Simple set Low High Recursive set Computability theory Theoretical computer science Mathematical logic
764	FindBugs William Pugh Univ. of Maryland http://www.cs.umd.edu/~pugh/ http://findbugs.sourceforge.net/ Add to Reading List Source URL: findbugs.cs.umd.edu Language: English - Date: 2006-09-15 15:23:26 Software bugs Cross-platform software FindBugs Programming idioms Recursion William Pugh Infinite loop Java Bug Computing Computer programming Software engineering
765	Squinting at Power Series M. Douglas McIlroy AT&T Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Data streams are an ideal vehicle for handling power series. Stream Add to Reading List Source URL: swtch.com Language: English - Date: 2005-09-27 12:15:39 Enumerative combinatorics Computability theory Recursion Functions and mappings Combinatorial species Power series Integral Formal power series Mathematical analysis Mathematics Mathematical series
766	A soft-typing system for Erlang Sven-Olof Nystrom ¨ Department of Information Technology, Uppsala University, Sweden Add to Reading List Source URL: www.erlang.se Language: English - Date: 2003-07-30 10:42:48 Functional languages Data types Subroutines Recursion Functional programming Erlang Type system Closure Monad Software engineering Computing Computer programming
767	Corecursion in Session-Typed Processes Bernardo Toninho∗† , Lu´ıs Caires∗ and Frank Pfenning† ∗ CITI and FCT - Universidade Nova de Lisboa † Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:17:30 Theoretical computer science Computability theory Recursion Type theory Deduction Function Interpretation Entailment Curry–Howard correspondence Logic Mathematics Mathematical logic
768	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
769	Communications in Mathematical Physics Commun. Math. Phys. 96, [removed]t984) Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-22 12:53:28 Fixed-point combinator Lambda calculus Recursion Derivative Group action Function Convolution theorem Finite difference Mathematical analysis Mathematics Functions and mappings
770	October 18, [removed]:55 AM Lecture 11. Quicksort • • Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 1997-01-25 12:39:23 Quicksort Science Stack Recursion Computer programming Software engineering Computing

UPDATE