In order to solve a long-standing problem with list fusion, a new compiler transformation,"
Call Arity" is developed and implemented in the Haskell compiler GHC. It is formally proven …

We extend a large Isabelle/HOL repository for regular algebras towards higher-order
variants based on directed sets and quantales, including reasoning based on general …

The worker/wrapper transformation is a general way of changing the type of a recursive
definition, usually applied with an eye to increasing algorithmic efficiency. This note …

IT is a pleasure to create programs in functional programming languages, as they allow for a
very high-level style of programming, using abstraction and composition. It suits the human …