Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
481	Value Objects Brendan Eich <> Thursday, July 25, 13 Add to Reading List Source URL: esdiscuss.org Language: English C++ Recursion C++ classes Fixed-point combinator FO Boolean algebra Relational operator Finitary relation Distance from a point to a line Theoretical computer science Mathematics Mathematical logic
482	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
483	could be restricted to those for whi ch thi s promi se can be kept. Whi l e the mechani sms descri bed i n the PT proposal are onl y tangenti al l y rel evant to thi s i ssue { the same probl em woul d have ari sen i n d Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:01:40 Lambda calculus Recursion Applied mathematics English phonology Theoretical computer science Combinatory logic Fixed-point combinator
484	USENIX Association Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference Boston, MA, USA June 27–July 2, 2004 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:39 Subroutines Cross-platform software Programming language implementation Recursion Compiler construction GNU Compiler Collection Treelang Glasgow Haskell Compiler Register transfer language Software engineering Computer programming Computing
485	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:42 Programming idioms Recursion Computability theory Subroutines Theoretical computer science Fibonacci number Printf format string ALGOL 68 C++ classes Computer programming Computing Software engineering
486	Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Recursion Theory of computation Functions and mappings Programming idioms Primitive recursive function Well-founded relation ELEMENTARY Fold Computability theory Mathematics Theoretical computer science
487	Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Philosophy of language Philosophy of mind Semantics Linguistics Science Entailment Logic Interpretation Model theory
488	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic
489	Certified HLints with Isabelle/HOLCF-Prelude Joachim Breitner1∗, Brian Huffman2 , Neil Mitchell3 and Christian Sternagel4† 1 Karlsruhe Institute of Technology, 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-09 08:11:26 Functional programming Functional languages Recursion Literate programming Type class Type theory Haskell Monad Pattern matching Software engineering Declarative programming Computing

UPDATE