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...

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: Hinze, R, James, D, Harper, T
Materialtyp: Conference item
Publicerad: Springer−Verlag 2011
Search Result 1

Theory and practice of fusion av Hinze, R, Harper, T, James, D

Publicerad 2011
Journal article
Search Result 2
Search Result 3
Search Result 4

Theory and Practice of Fusion av Hinze, R, Harper, T, James, D

Publicerad 2010
Conference item