In: Jeremy Gibbons and Oege de Moor (editors), The Fun of Programming, Palgrave 2003. pp. 79-103

Authors: Ganesh Sittampalam and Oege de Moor
>

Abstract

This book chapter gives a tutorial introduction to the mechanical application of fusion transformations via higher-order matching algorithms. Many popular exam questions in optimising functional programs can be automated by this method.

(PDF, PS)

BIBTEX:

           @incollection{fop03fusion, 
           author = "Ganesh Sittampalam and Oege de Moor", 
           title = "Mechanising Fusion", 
           booktitle = "The Fun of Programming", 
           editor = "Jeremy Gibbons and Oege de Moor", 
           year = "2003", 
           publisher = "Palgrave",
           pages = "79--103"}