Mutual recursion - PDFSEARCH.IO - Document Search Engine

Mutual recursion
Results: 9

#	Item
1	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML
2	Computing Fundamentals Advanced functions & Recursion Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-05-28 11:41:55 Software engineering Computer programming Recursion Computability theory Theory of computation Subroutines Theoretical computer science Infinite loop This Anonymous function Stack Mutual recursion
3	Computing Fundamentals Salvatore Filippone 2012–2013 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:12:56 Software engineering Computer programming Recursion Tail call Subroutine Stack Infinite loop This Mutual recursion Corecursion
4	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
5	Functional Adaptive Programming A dissertation presented by Bryan Chadwick Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-10-28 11:25:00 Recursion Subroutines Method Object-oriented programming Theoretical computer science Tree traversal Mutual recursion Inline expansion Visitor pattern Multiple dispatch Generic function Generic programming
6	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
7	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
8	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic
9	Simply Scheme Brian Harvey Matthew Wright Foreword by Harold Abelson Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:10 Recursion Theory of computation Programming idioms Computability theory Functional languages Lisp Mutual recursion Backtracking Function Computer programming Software engineering Computing