Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
351	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
352	An Overview of the Saturn Project Alex Aiken Suhabe Bugrara Isil Dillig Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-04-17 03:46:58 Computer programming Constraint programming Declarative programming Constraint satisfaction Logic programming Analysis Eval Software engineering Programming paradigms Computing
353	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Mathematics Currying Partial application Apply Arity Variadic function Combinatory logic Scheme Declarative programming Software engineering Functional programming
354	theory memory reconsolidation understood and misunderstood Bruce Ecker Coherence Psychology Institute Add to Reading List Source URL: www.neuropsychotherapist.com Language: English - Date: 2015-01-01 22:44:08 Psychology Cognitive science Memory consolidation Declarative memory Recall Traumatic memories Mind Mental processes Memory
355	Rose Toshikazu Kawasaki Flower Add to Reading List Source URL: www.progonos.com Language: English - Date: 2004-05-17 20:55:03 Functional programming Declarative programming Anamorphism Fold Unfold Origami Yoshizawa-Randlett system Software engineering
356	how can your business reach 1.8 million northwest consumers right now? Learn more at seattletimes.com/mediakit What website gets Add to Reading List Source URL: mediakit.seattletimes.com Language: English - Date: 2015-05-04 17:19:46 Declarative programming Origami Paper art Fold More Anamorphism Paper folding Software engineering Functional programming
357	Microsoft Word - Brinkhoff - Towards a Declarative Model.doc Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2008-09-22 04:53:18 Cascading Style Sheets Geography Markup Language Scalable Vector Graphics Styled Layer Descriptor XSL Formatting Objects Open Geospatial Consortium HTML Geographic information system Web Feature Service Computing Markup languages Web standards
358	How to Write Computer Programs John Scholes – Dyalog Ltd “After all, animals is only human, innit?” – Ali G. Apology I apologise to those of you who already know how to write computer programs; Add to Reading List Source URL: www.causeway.co.uk Language: English - Date: 2013-12-20 03:46:07 APL programming language family Array programming languages Programming paradigms Functional languages Computer languages APL Declarative programming ACT-R Procedural programming Computing Software engineering Computer programming
359	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
360	Declarative Routing: Extensible Routing with Declarative Queries Boon Thau Loo∗ Joseph M. Hellerstein∗ † Ion Stoica∗ Raghu Ramakrishnanδ ∗ UC Berkeley † Intel Research δ University of Wisconsin-Madison Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2005-06-22 10:41:56 OSI protocols Routing protocols Mathematics Network theory Shortest path problem Routing Distance-vector routing protocol Distributed data storage Link-state routing protocol Routing algorithms Network architecture Wireless networking

UPDATE