Specifying Input/Output by Enumeration Walter W. Wilson and Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Input/output is awkward in declarative languages [2]. Some functional lan

Source URL: csl.stanford.edu

• Lisp programming language
• Functional languages
• Cross-platform software
• Lisp
• Prolog
• S-expression
• Programming language
• AWK
• Function
• Computing
• Software engineering
• Computer programming

Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science

Source URL: catamorphism.org

• Higher-order functions
• Subroutines
• Functional programming
• Lambda calculus
• Type theory
• Fold
• Map
• Function
• Currying
• Software engineering
• Declarative programming
• Computing

PDF Document

Source URL: www.cs.columbia.edu

• Declarative programming
• Combinatory logic
• Lazy evaluation
• Anonymous function
• Fold
• Apply
• Free variables and bound variables
• Function
• Curry
• Software engineering
• Computing
• Lambda calculus

PERSPECTIVES OPINION Concept cells: the building blocks of declarative memory functions Rodrigo Quian Quiroga

Source URL: www2.le.ac.uk

• Cerebrum
• Neuroanatomy
• Limbic system
• Neural networks
• Hippocampus
• Entorhinal cortex
• Visual cortex
• Neural coding
• Anterograde amnesia
• Anatomy
• Brain
• Cognitive science

Model Transformation: A declarative, reusable patterns approach Keith Duddy, Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel CRC for Enterprise Distributed Systems (DSTC) {dud,agerber,lawley,kerry,steel}@dstc.edu.a

Source URL: staff.itee.uq.edu.au

• Data modeling
• Software design
• Systems engineering
• Graph rewriting
• Meta-Object Facility
• Model-driven architecture
• Enterprise Collaboration Architecture
• Enterprise Distributed Object Computing
• Data model
• Unified Modeling Language
• ISO standards
• Software engineering

Notice explicative à l’obligation déclarative de l’argent liquide lors de l’entrée en Allemagne d’un pays non membre de l’UE et lors de la sortie de l’Allemagne vers un pays non membre de l’UE Obligation

Source URL: www.konsularinfo.diplo.de

If you can remember it, you can remember it wrong

Source URL: medicalxpress.com

• Mental processes
• Declarative memory
• Memory consolidation
• Traumatic memories
• Procedural memory
• Recall
• Amnesia
• ACT-R
• Anterograde amnesia
• Mind
• Memory
• Cognitive science

LibreS3: design, challenges, and steps toward reusable libraries Török Edwin e [removed]
 e  Skylable L

Source URL: ocaml.org

• Adjoint functors
• Functional programming
• Monad
• OCaml
• Declarative programming
• Software engineering
• Computer programming

An Integrated Modelling, Debugging, and Visualisation Environment for G12 Andreas Bauer1,2 , Viorica Botea1 , Mark Brown1 , Matt Gray1,2 , Daniel Harabor1,2 , and John Slaney1,2 1 2

Source URL: www.immerundewig.at

• Computer programming
• ECLiPSe
• Constraint graph
• Local consistency
• Solver
• Search algorithm
• Constraint satisfaction
• Constraint programming
• Declarative programming
• Software engineering

From Logic Programming 22 July 99-AMAI

Source URL: www.doc.ic.ac.uk

• Declarative programming
• Constraint programming
• Reasoning
• Charles Sanders Peirce
• Epistemology
• Abductive logic programming
• Constraint logic programming
• Schedule
• Prolog
• Logic programming
• Software engineering
• Science