Polytipic recursion patterns

Citation:
Barbosa LS, Barros J B, Almeida J J.  2000.  Polytipic recursion patterns. 5º Simpósio Brasileiro de Linguagens de Programação - SBLP.

Tertiary Title:

ETCS

Date Presented:

May

Abstract:

Recursive schemes over inductive data structures have been recognized as category-theoretic 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.

Citation Key:

sblp:lsb:jbb:jj:00

DOI:

10.1.1.28.3601

PreviewAttachmentSize
barsblp.pdf285.44 KB