Polytypic Recursion Patterns (2000)
by
L. S. Barbosa
,
J. B. Barros
,
J. J. Almeida
| Citations: | 1 - 0 self |
BibTeX
@MISC{Barbosa00polytypicrecursion,
author = {L. S. Barbosa and J. B. Barros and J. J. Almeida},
title = {Polytypic Recursion Patterns},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Recursive schemes over inductive data structures have been recognized as categorytheoretic universals, yielding a handful of equational laws for program construction and transformation. This paper introduces the implementation of such recursion patterns as type parametric, or polytypic, functionals in the Camila prototyping language. Several examples are discussed.
