ECOLES ET CONSERVATOIRES DE MUSIQUE FICHE DÉCLARATIVE D’EFFECTIF POUR LE CALCUL DE LA REDEVANCE SEAM AU TITRE DE L’ANNÉE

Source URL: www.seamfrance.fr

Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Abstract

Source URL: www.cis.upenn.edu

• Higher-order functions
• Adjoint functors
• Functional programming
• Combinatorial species
• Map
• Functor
• Sheaf
• Enumerative combinatorics
• Equivalence of categories
• Abstract algebra
• Mathematics
• Declarative programming

Practical Declarative Network Management Timothy Hinrichs Natasha Gude Martin Casado

Source URL: theory.stanford.edu

• Data
• Information
• XACML
• Security policy
• Datalog
• Maximum flow problem
• Flow network
• Distributed firewall
• SQL
• Computing
• Network flow
• Query languages

Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu

Source URL: www21.in.tum.de

• Recursion
• Theoretical computer science
• Category theory
• Functional programming
• Higher-order functions
• Corecursion
• Fold
• Coinduction
• Map
• Software engineering
• Computer programming
• Declarative programming

Babelsberg : specifying and solving constraints on object behavior (Technische Berichte des Hasso-Plattner-Instituts ; 81)

Source URL: www.vpri.org

• Computer programming
• States of Germany
• University of Potsdam
• Constraint satisfaction
• Potsdam-Babelsberg
• Declarative programming
• Constraint programming
• Software engineering
• Programming paradigms

Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗

Source URL: www.seas.upenn.edu

• Type theory
• Functional programming
• Data types
• Higher-order functions
• Lambda calculus
• Higher-order abstract syntax
• Eval
• Catamorphism
• System F
• Software engineering
• Computing
• Declarative programming

PDF Document

Source URL: www.macs.hw.ac.uk

• Declarative programming
• Computing
• Parallel computing
• Computer science
• Distributed computing

Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under

Source URL: www.vpri.org

• Software engineering
• Constraint satisfaction
• Constraint logic programming
• Cassowary
• Satisfiability Modulo Theories
• Constraint graph
• Solver
• Prolog
• ECLiPSe
• Constraint programming
• Declarative programming
• Theoretical computer science

Should Androids Dream of Electric Sheep? Mechanisms for Sleep-dependent Memory Consolidation George Kachergis1 , Roy de Kleijn2 , and Bernhard Hommel2 1 1 Psychology 2 Institute

Source URL: bernhard-hommel.eu

• Memory
• Declarative memory
• Rapid eye movement sleep
• Memory consolidation
• Sleep
• Procedural memory
• Hippocampus
• Long-term memory
• Episodic memory
• Mind
• Mental processes
• Cognitive science

FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich

Source URL: www.seas.upenn.edu

• Software engineering
• Theoretical computer science
• Lambda calculus
• Inference
• Type inference
• Hindley–Milner
• System F
• Greek alphabet
• Type theory
• Type systems
• Programming language theory