41 Declarative Power, Representation, and Mandate. A Formal Analysis Jonathan Gelati1

Source URL: www.governatori.net

xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

Practical Declarative Network Management Timothy L. Hinrichs University of Chicago Computer Science Chicago, IL USA

Source URL: conferences.sigcomm.org

Euclase: A Live Development Environment with Constraints and FSMs Stephen Oney, Brad A. Myers Joel Brandt

Source URL: liveprogramming.github.io

• Software engineering
• Computing
• Computer programming
• Programming paradigms
• Technical communication
• Constraint programming
• Declarative programming
• Eval
• Programming language
• Design
• Usability
• APL

CURRENT DIRECTIONS IN PSYCHOLOGICAL SCIENCE Declarative Memory Lila Davachi1 and Ian G. Dobbins2 1

Source URL: davachilab.org

Declarative Information Extraction in a Probabilistic Database System Daisy Zhe Wang Eirinaios Chrysovalantis Michelakis Michael Franklin

Source URL: www.cise.ufl.edu

LexInfo: A Declarative Model for the Lexicon-Ontology Interface P. Cimiano a,∗ , P. Buitelaar b , J. McCrae a , M. Sintek c a Semantic Computing Group, Cognitive Interaction Technology Center of

Source URL: john.mccr.ae

• Semantic Web
• Computing
• World Wide Web Consortium
• Information science
• Knowledge representation
• Knowledge engineering
• Resource Description Framework
• Ontology
• Web Ontology Language
• RDF Schema
• Simple Knowledge Organization System
• Web resource

Probabilistic Declarative Information Extraction Daisy Zhe Wang #1 , Eirinaios Michelakis #2 , Michael J. Franklin #3 , Minos Garofalakis ∗4 , Joseph M. Hellerstein #5 # EECS, University of California, Berkeley, USA

Source URL: www.cise.ufl.edu

We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language

Delegate: Showcase 2/3 years old F# Codebase @ ProsaF#unctional Copenhageners Meetup Group (MF#K)

Source URL: files.meetup.com

• Computer programming
• Software engineering
• Declarative programming
• Functional programming
• Monad
• F Sharp
• Function