Point-free Program Transformation (2005)
| Venue: | Fundamenta Informaticae |
| Citations: | 7 - 4 self |
BibTeX
@INPROCEEDINGS{Cunha05point-freeprogram,
author = {Alcino Cunha and Jorge Sousa Pinto and José Proença},
title = {Point-free Program Transformation},
booktitle = {Fundamenta Informaticae},
year = {2005},
pages = {1--18},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The subject of this paper is functional program transformation in the so-called point-free style. By this we mean first translating programs to a form consisting only of categorically-inspired combinators, algebraic data types defined as fixed points of functors, and implicit recursion through the use of type-parameterized recursion patterns. This form is appropriate for reasoning about programs equationally, but difficult to actually use in practice for programming. In this paper we present a collection of libraries and tools developed at Minho with the aim of supporting the automatic conversion of programs to point-free (embedded in Haskell), their manipulation and rule-driven simplification, and the (limited) automatic application of fusion for program transformation. 1
Citations
| 274 | Functional programming with bananas, lenses, envelopes and barbed wire - Meijer, Fokkinga, et al. - 1991 |
| 138 | Type classes with functional dependencies - Jones - 2000 |
| 84 | The promotion and accumulation strategies in transformational programming - Bird - 1984 |
| 84 | Bananas in space: extending fold and unfold to exponential types - Meijer, Hutton - 1995 |
| 50 | programming be liberated from the von Neumann style? A functional style and its algebra of programs - Can - 1978 |
| 46 | Deriving structural hylomorphisms from recursive definitions - Hu, Iwasaki, et al. - 1996 |
| 41 | Typed Combinators for Generic Traversal - Lämmel, Visser - 2002 |
| 24 | Calculating functional programs - Gibbons |
| 15 | Polytypic programming in Haskell - Norell, Jansson |
| 12 | From lambda calculus to cartesian closed categories - Lambek - 1980 |
| 4 | Point-free program calculation - Cunha - 2005 |
| 1 | Figure 1: Interlinking of genomics information - unknown authors |
