Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
711	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing
712	LNCS[removed]Build, Augment and Destroy, Universally Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2004-10-21 01:26:05 Functional programming Higher-order functions Fold Recursion Limit Initial algebra Adjoint functors Map Cone Category theory Mathematics Declarative programming
713	Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-10-15 13:04:31 Higher-order functions Adjoint functors Functional programming Combinatorial species Map Functor Sheaf Enumerative combinatorics Equivalence of categories Abstract algebra Mathematics Declarative programming
714	Why Functional Programming Matters John Hughes, Institutionen f¨or Datavetenskap, Chalmers Tekniska H¨ogskola, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2002-01-09 08:45:00 Functional programming Lisp programming language Higher-order functions Data types Cons Append List Fold Function composition Software engineering Computing Declarative programming
715	Proc. Natl. Acad. Sci. USA Vol. 89, pp[removed], March 1992 Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Brain Mental processes Cognition Perception Priming Recall Declarative memory Hippocampus Recognition memory Mind Cognitive science Memory
716	■ 連載自分自身を出力するプログラム Add to Reading List Source URL: www.ipsj.or.jp Language: English - Date: 2011-08-17 02:11:53 Adjoint functors Functional programming Monad Kleisli category Arrow Map Haskell Lambda Quine Software engineering Declarative programming Computer programming
717	The Constrained-Monad Problem Neil Sculthorpe Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2013-09-23 14:25:29 Computer programming Adjoint functors Data types Type theory Monad Type class Map Arrow List Declarative programming Functional programming Software engineering
718	JFP 18 (4): 423–436, [removed]c 2008 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:26 Adjoint functors Functional programming Monad Map Functional languages Eval Functor Limit Coproduct Computing Software engineering Declarative programming
719	Bedford – Keeping perception accurate 30 Held, R[removed]Plasticity in sensory–motor systems Sci. Am. 213, 84–94 Add to Reading List Source URL: psyphz.psych.wisc.edu Language: English - Date: 1999-05-24 19:06:10 Cerebrum Neuroanatomy Limbic system Emotion Amygdala Affective neuroscience Fear Declarative memory Traumatic memories Brain Mind Cognitive science

UPDATE