Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and reverse …

Grammatical Framework (GF) is a special-purpose functional language for defining
grammars. It uses a Logical Framework (LF) for a description of abstract syntax, and adds to …

Type classes in Haskell allow programmers to define functions that can be used on a set of
different types, with a potentially different implementation in each case. For example, type …

Abstract Functional Reactive Programming (FRP) is a declarative programming model for
constructing interactive applications based on a continuous model of time. FRP programs …

Interested in formalizing the generation of fast running code for linear algebra applications,
the authors show how an index-free, calculational approach to matrix algebra can be …

Haskell benefits from a sophisticated type system, but implementors, programmers, and
researchers suffer because it has no formal description. To remedy this shortcoming, we …

This paper presents a monadic approach to incremental computation, suitable for purely
functional languages such as Haskell. A program that uses incremental computation is able …

Dieses Lehrbuch ist eine moderne Einführung in die Informatik für das Grundstudium an
Universitäten und Fachhochschulen. Der Autor stellt die Prinzipien der" …

Die first stage of a complete Automatic Handwritten Signature Verification System (AHSVS)
is described in this paper. Since only random forgeries are taken into account in this first …

This paper presents a methodology for implementing natural language morphology in the
functional language Haskell. The main idea behind is simple: instead of working with …