An Exercise in Declarative Modeling for Relational Query Mining Sergey Paramonov, Matthijs van Leeuwen, Marc Denecker, and Luc De Raedt KU Leuven, Celestijnenlaan 200A, 3001 Heverlee - Belgium,

Source URL: www.patternsthatmatter.org

Declarative RDF Models for Feature-based Targeting of Content to Multiple Devices Vipul Kashyap Telcordia Technologies, 445 South St, Morristown, NJ 07960, USA Leon Shklar

Source URL: www10.org

DSLs in Haskell Ryan Newton Back-end

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Data types
• Type theory
• Compilers
• Template Haskell
• Haskell
• Generalized algebraic data type
• Metaprogramming

Declarative, Sliding Window Aggregations for Computations at the Edge Christopher Meiklejohn Seyed H. Haeri (Hossein), Peter Van Roy

Source URL: christophermeiklejohn.com

• Computer programming
• Software engineering
• Computing
• Conflict-free replicated data type
• Data types
• Functional programming
• Laboratory for Atmospheric and Space Physics
• Tree
• Toi
• Monad

Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Recursion
• Fold
• FO
• Haskell features
• Standard ML

Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Programming paradigms
• Prolog
• Interpreter
• Escher
• Programming language
• Declarative programming
• APL

Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February

Source URL: www.inf.ed.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Monad
• Data types
• Type class
• Haskell
• Entry point
• Computation
• Ur

Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Declarative programming
• Data types
• Computing
• Type theory
• Functional programming
• Object-oriented programming
• Polymorphism
• Map
• Ordinal number
• Boolean data type
• CurryHoward correspondence

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

Source URL: www.acm.org

• Software engineering
• Declarative programming
• Computer programming
• Functional programming
• Theoretical computer science
• Data types
• Type theory
• Computability theory
• Lambda calculus
• Recursion
• Algebraic data type
• Anonymous function