Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
261	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function
262	An open source grammar development environment and broad-coverage English grammar using HPSG Ann Copestake , Dan Flickinger CSLI, Ventura Hall, Stanford University Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-06-08 17:24:08 Linguistics Cognitive science Grammar Generative linguistics Natural language processing Syntax Computational linguistics Head-driven phrase structure grammar LKB Minimal recursion semantics Ivan Sag Parsing
263	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-07-02 10:00:20 Type theory Computability theory Functional programming Theoretical computer science Recursion Initial algebra Lambda calculus Primitive recursive function Inductive type Catamorphism F-algebra
264	Saturation-Based Model Checking of Higher-Order Recursion Schemes Christopher Broadbent1 and Naoki Kobayashi2 1 2 Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2013-08-22 04:54:10
265	Method Inlining in the Titanium Compiler CS265 Semester Project Report Dan Bonachea, Abstract Titanium is a parallel dialect of Java designed for writing high-performance scientific applications. Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:57 Software engineering Computer programming Computing Compiler optimizations Subroutines Inline expansion Compiler construction Just-in-time compilation Mutual recursion Interprocedural optimization Pin Runtime library
266	YAYOI: Taxonomy Database System over International Computer Networks 1 2 Add to Reading List Source URL: www.jsbi.org Language: English - Date: 1998-01-09 02:49:55 Recursion B-tree Biological databases Phylogenetics Data types Database Taxonomy DNA database Phylogenetic tree Tree Bioinformatics
267	A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi Tohoku University Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2011-03-07 00:53:17
268	PDF Document Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2012-09-18 11:07:47 Computer programming Software engineering C++ Recursion C++ classes Subroutine Reference Sort Quine
269	Minimal Recursion Semantics An Introduction DRAFT of September 1999 Ann Copestake, Dan Flickinger, Ivan A. Sag CSLI, Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www.essex.ac.uk Language: English - Date: 2003-08-01 12:50:28
270	RecapFibonacci .......... Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2013-02-05 09:59:31 Software engineering Computer programming Computing Data types Recursion Binary trees Search tree Null Binary search tree Dynamic programming Const Null Object pattern

UPDATE