In 1989 when functional programming was still considered a niche topic, Hughes wrote a
visionary paper arguing convincingly 'why functional programming matters'. More than two …

The SyDPaCC framework supports the development of scalable parallel functional
programs with Coq and helps the developers to write correct-by-construction programs with …

Although the recent popularity of parallel-computing environments has called for parallel
programs, it is difficult for nonspecialists to develop those that are efficient. What is required …

Develo** efficient parallel programs is more difficult and complicated than develo**
sequential ones. Skeletal parallelism is a promising methodology for easy parallel …

This paper presents a real-world pricing kernel for financial derivatives and evaluates the
language and compiler tool chain that would allow expressive, hardware-neutral algorithm …

Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important
parallel algorithms to implement efficient parallel programs manipulating trees. Despite their …

SyDPaCC (Systematic Development of programs for Parallel and Cloud Computing) is a
framework for the Coq interactive theorem prover. It allows to systematically develop correct …

Parallel skeletons intend to encourage programmers to build a parallel program from ready-
made components for which efficient implementations are known to exist, making the …

PySke is a library of parallel algorithmic skeletons in Python designed for list and tree data
structures. Such algorithmic skeletons are high-order functions implemented in parallel. An …

Trees are useful data structures, but to design efficient parallel programs over trees is known
to be more difficult than to do over lists. Although several important tree skeletons have been …