Theory and Practice of Fusion
There are a number of approaches for eliminating intermediate data structures in functional programs - this elimination is commonly known as fusion. Existing fusion strategies are built upon various, but related, recursion schemes, such as folds and unfolds. We use the concept of recursive coalgebra...
| 主要な著者: | , , |
|---|---|
| フォーマット: | Conference item |
| 出版事項: |
Springer−Verlag
2011
|
| _version_ | 1826283014681788416 |
|---|---|
| author | Hinze, R James, D Harper, T |
| author_facet | Hinze, R James, D Harper, T |
| author_sort | Hinze, R |
| collection | OXFORD |
| description | There are a number of approaches for eliminating intermediate data structures in functional programs - this elimination is commonly known as fusion. Existing fusion strategies are built upon various, but related, recursion schemes, such as folds and unfolds. We use the concept of recursive coalgebras as a unifying theoretical and notational framework to explore the foundations of these fusion techniques. We first introduce the calculational properties of recursive coalgebras and demonstrate their use with proofs and derivations in a calculational style, then provide an overview of fusion techniques by bringing them together in this setting. We also showcase these developments with examples in Haskell. |
| first_indexed | 2024-03-07T00:52:32Z |
| format | Conference item |
| id | oxford-uuid:86e219b4-defc-4dee-8f6d-663a85a2b897 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:52:32Z |
| publishDate | 2011 |
| publisher | Springer−Verlag |
| record_format | dspace |
| spelling | oxford-uuid:86e219b4-defc-4dee-8f6d-663a85a2b8972022-03-26T22:07:06ZTheory and Practice of FusionConference itemhttp://purl.org/coar/resource_type/c_5794uuid:86e219b4-defc-4dee-8f6d-663a85a2b897Department of Computer ScienceSpringer−Verlag2011Hinze, RJames, DHarper, TThere are a number of approaches for eliminating intermediate data structures in functional programs - this elimination is commonly known as fusion. Existing fusion strategies are built upon various, but related, recursion schemes, such as folds and unfolds. We use the concept of recursive coalgebras as a unifying theoretical and notational framework to explore the foundations of these fusion techniques. We first introduce the calculational properties of recursive coalgebras and demonstrate their use with proofs and derivations in a calculational style, then provide an overview of fusion techniques by bringing them together in this setting. We also showcase these developments with examples in Haskell. |
| spellingShingle | Hinze, R James, D Harper, T Theory and Practice of Fusion |
| title | Theory and Practice of Fusion |
| title_full | Theory and Practice of Fusion |
| title_fullStr | Theory and Practice of Fusion |
| title_full_unstemmed | Theory and Practice of Fusion |
| title_short | Theory and Practice of Fusion |
| title_sort | theory and practice of fusion |
| work_keys_str_mv | AT hinzer theoryandpracticeoffusion AT jamesd theoryandpracticeoffusion AT harpert theoryandpracticeoffusion |