Recursion patterns and time-analysis

This paper explores some ideas concerning the time-analysis of functional programs defined by instantiating typical recursion patterns such as folds, unfolds, and hylomorphisms. The concepts in this paper are illustrated through a rich set of examples in the Haskell programming language. We concentr...

Full description

Bibliographic Details
Main Author: Barbosa, Manuel (author)
Other Authors: Cunha, Alcino (author), Pinto, Jorge Sousa (author)
Format: article
Language:eng
Published: 2005
Subjects:
Online Access:http://hdl.handle.net/1822/2762
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/2762