Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
501	C:ge.wkumbiaeses2.wpd Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2005-06-30 12:00:17 Computer programming .py Demand Py Cons .pk Function Country code top-level domains Mathematics Declarative programming
502	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-02-15 08:39:45 Computer programming Database management systems 2APL Prolog Database Declarative programming Computing Software engineering Multi-agent systems
503	P ROCEEDINGS OF THE ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2011 http://csclp2011.cs.st-andrews.ac.uk April 12th-13th, 2011 Editors Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computer programming Constraint satisfaction Constraint logic programming Logic programming Answer set programming Mathematical optimization Oz ECLiPSe Constraint graph Constraint programming Software engineering Declarative programming
504	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga y Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-12-22 08:04:21 Category theory Recursion Higher-order functions Functional programming Functions and mappings Fold Anamorphism Catamorphism Map Mathematics Declarative programming Software engineering
505	([removed]In K. Gomez, L. Lyons, & J. Radinsky (Eds.) Learning in the Disciplines: Proceedings of the 9th International Conference of the Learning Sciences, Volume 1-Full Paprs (pp[removed]International Society of the L Add to Reading List Source URL: morenumerate.org Language: English - Date: 2014-09-04 15:13:50 Mental processes Neuropsychological assessment Educational psychology Memory Recall Episodic memory Semantic memory Spacing effect Declarative memory Mind Psychology Cognitive science
506	Higher-Order Functional Reactive Programming in Bounded Space Neelakantan R. Krishnaswami Nick Benton Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-11-14 06:01:35 Functional programming Algebraic topology Fold Recursion Valuation Sheaf Append Monad Natural deduction Abstract algebra Software engineering Declarative programming
507	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-31 10:51:10 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
508	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:15:53 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
509	Simulating Quantified Class Constraints Valery Trifonov Department of Computer Science Yale University New Haven, CT, USA[removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2003-08-22 11:33:07 Declarative programming Data types Functional programming Higher-order functions Literate programming Type class Generic programming Map Haskell Software engineering Computing Type theory
510	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming

UPDATE