Theory and Practice of Fusion

Conference item

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 tech­niques. We first introduce the calculational properties of recursive coalgebras and demonstrate th...

Expand abstract

Authors: Hinze, R; Harper, T; James, D

• Host title: Pre−proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages
• Publication date: 2010-08-01