Add to ORKGAbstract. Pure functional programming language offer many advan-tages over impure languages. Unfortunately, the absence of destructive update, imposes a complexity barrier. In imperative languages, there are algorithms and data structures with better complexity. We present our project for combining existing program transformation techniques to transform inefficient pure data structures into impure ones with better complexity. As a consequence, the programmer is not exposed to the impurity and retains the advantages of purity.
It is difficult to achieve elegance, efficiency and parallelism simultaneously in functional progra...
This article explores relationships between imperative and functional programming by viewing a progr...
The goal of program transformation is to improve efficiency while preserving meaning. One of the bes...
Pure functional programming language offer many advantages over impure languages. Unfortunately, the...
In this paper we propose a complete fold/unfold based transformation system for optimizing (lazy) f...
. The paper shows how term rewriting techniques can be used to automatically transform first-order f...
We present purity reflection, a programming language feature that enables higher-order functions to ...
We express implementations of functional languages as a succession of program transformations in a c...
This paper explores the use monads to structure functional programs. No prior knowledge of monads or...
Functional programmers are strong enthusiasts of modular solutions to programming problems. Since so...
This thesis addresses the problem of avoiding errors in functional programs. The thesis has three pa...
In this paper, we present an imperative language enhanced with higher-order functions, function curr...
We discuss a translation methodology for transforming a high level algorithmic specification written...
Program transformation concerns the derivation of an efficient program by applying correctness-pres...
We present a safe embedding of mutable data structures in functional languages. With safety we mean ...
It is difficult to achieve elegance, efficiency and parallelism simultaneously in functional progra...
This article explores relationships between imperative and functional programming by viewing a progr...
The goal of program transformation is to improve efficiency while preserving meaning. One of the bes...
Pure functional programming language offer many advantages over impure languages. Unfortunately, the...
In this paper we propose a complete fold/unfold based transformation system for optimizing (lazy) f...
. The paper shows how term rewriting techniques can be used to automatically transform first-order f...
We present purity reflection, a programming language feature that enables higher-order functions to ...
We express implementations of functional languages as a succession of program transformations in a c...
This paper explores the use monads to structure functional programs. No prior knowledge of monads or...
Functional programmers are strong enthusiasts of modular solutions to programming problems. Since so...
This thesis addresses the problem of avoiding errors in functional programs. The thesis has three pa...
In this paper, we present an imperative language enhanced with higher-order functions, function curr...
We discuss a translation methodology for transforming a high level algorithmic specification written...
Program transformation concerns the derivation of an efficient program by applying correctness-pres...
We present a safe embedding of mutable data structures in functional languages. With safety we mean ...
It is difficult to achieve elegance, efficiency and parallelism simultaneously in functional progra...
This article explores relationships between imperative and functional programming by viewing a progr...
The goal of program transformation is to improve efficiency while preserving meaning. One of the bes...