Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1

Source URL: okmij.org

• Functions and mappings
• Function
• Prolog
• Constraint logic programming
• Unification
• Multiplication
• FO
• Constructible universe
• Mathematics
• Mathematical logic
• Logic programming

Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON

Source URL: www.diegm.uniud.it

• Programming paradigms
• Procedural programming languages
• Theoretical computer science
• Alma-0
• Computability theory
• Logic programming
• Backtracking
• Assignment
• Imperative programming
• Software engineering
• Computing
• Computer programming

Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs Mohamed Sarwat1 1 Sameh Elnikety2

Source URL: www-users.cs.umn.edu

• Database management systems
• SQL
• Query optimizer
• Search algorithms
• Reachability
• Graph partition
• Query plan
• Breadth-first search
• FO
• Graph theory
• Theoretical computer science
• Mathematics

Rajiv Rao (University of Wisconsin-Madison) & Sandro Sessarego (University of Texas-Austin) On the Declarative Intonation Patterns of Two Afro-Hispanic Varieties This study employs the Autosegmental Metrical (AM) model o

Source URL: creolisticsx.dk

• Phonology
• Phonetics
• Languages of Belize
• Languages of the Philippines
• Languages of the United States
• Pitch accent
• Intonation
• Spanish language
• Focus
• Linguistics
• Languages of Africa
• Culture

Dedukti in a Nutshell Ronan Saillard MINES ParisTech Dedukti [1] is a proof checker based on rewriting and dependent types. It implements the λΠcalculus modulo, a very expressive logical fr

Source URL: www.cri.ensmp.fr

• Type theory
• Functional languages
• Functional programming
• Lisp programming language
• Data types
• Append
• List
• Cons
• Dependent type
• Software engineering
• Computing
• Declarative programming

The Twelve-Factor App The twelve-factor app is a methodology for building software-as-a-service apps that: Use declarative formats for setup automation, to minimize

Source URL: speakerd.s3.amazonaws.com

• APP
• Codebase
• Source code
• Version control

[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop

Source URL: www.cri.ensmp.fr

• Type theory
• Constraint programming
• Type systems
• Programming paradigms
• Declarative programming
• Type inference
• Faust
• ALGOL 68
• OCaml
• Software engineering
• Computing
• Computer programming

Writing Effective Use Cases for the Declarative 3D for the Web Architecture Jacek Jankowski Digital Enterprise Research Institute, NUI Galway, Ireland

Source URL: events.declarative3d.org

Neuroethics:85–99 DOIs12152ORIGINAL PAPER The Normativity of Memory Modification

Source URL: www.fhi.ox.ac.uk

• Mental processes
• Episodic memory
• Declarative memory
• Autobiographical memory
• Long-term memory
• Emotion and memory
• Recall
• Semantic memory
• HM
• Mind
• Memory
• Cognitive science

Towards Declarative 3D in Web Architecture Jean Le Feuvre Telecom ParisTech; Institut Telecom; CNRS LTCI 46, rue BarraultPARIS CEDEX 13

Source URL: events.declarative3d.org

• Virtual reality
• 3D computer graphics
• Vector graphics markup languages
• Graphics file formats
• Computer file formats
• X3D
• Scene graph
• WebGL
• OpenGL
• Computing
• Computer graphics
• Software