Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Lambda calculus
• Subroutines
• Functional languages
• Literate programming
• Monad
• Let expression
• Glasgow Haskell Compiler
• Anonymous function

Hydra: A Declarative Approach to Continuous Integration1 Eelco Dolstra, Eelco Visser Department of Software Technology, Faculty of Electrical Engineering, Mathematics and Computer Science (EWI), Delft University of Techn

Source URL: nixos.org

• Software
• System software
• Cross-platform software
• Functional programming
• Nix package manager
• NixOS
• Compiling tools
• Extreme programming
• Build automation
• Linux From Scratch
• Package manager
• Nix

List Functions, and Higher-Order Functions Björn Lisper Dept. of Computer Science and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Functional languages
• Subroutines
• Map
• Fold
• Filter
• Append

PDF Document

Source URL: repository.readscheme.org

• Software engineering
• Declarative programming
• Computer programming
• Automated theorem proving
• Logic programming
• Prolog
• Interpreter
• Eval
• Substitution
• Resolution

Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes

Source URL: www.edsko.net

• Software engineering
• Type theory
• Declarative programming
• Computing
• Generic programming
• Polytypic
• Polymorphism
• Map
• Lambda calculus
• Dependent type
• Fold
• CurryHoward correspondence

Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom

Source URL: arxiv.org

• Software engineering
• Declarative programming
• Computer programming
• Functional programming
• Monad
• Evaluation strategy
• Lambda calculus
• Adjoint functors
• Haskell
• Type class
• Ur

Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de

Source URL: www.bioinf.uni-leipzig.de

• Declarative programming
• Constraint programming
• Software engineering
• Programming paradigms
• Computer programming
• Constraint logic programming
• Logic programming
• Constraint satisfaction
• Concurrent constraint logic programming

LA DECLARATION D’ECHANGES DE BIENS : DEB 2016 PRINCIPE Obligation déclarative dans les échanges de biens intracommunautaires, la DEB reprend mensuellement l’ensemble des mouvements de marchandises qui circulent ent

Source URL: www.bretagnecommerceinternational.com

Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Literate programming
• Functional programming
• Monad
• Haskell
• Inline expansion
• First-order logic