Journal of Functional Programming, 6(1):1-28, 1996.

Authors: Richard S. Bird and Paul Hoogendijk and Oege de Moor
>

Abstract

This paper explores the idea of generic programming in which programs are parameterised by data types. Part of the constructive theory of lists, specifically the part dealing with properties of segments, is generalised in two ways: from lists to arbitrary inductive data types, and from functions to relations. The new theory is used to solve a generic problem about segments.

(PS)

BIBTEX:

           @article{jfp96bird, 
           author = "Richard S. Bird and Paul Hoogendijk and De Moor, Oege",
           title = "Generic programming with functors and relations",
           journal = "Journal of Functional Programming",
           volume = "6",
           number = "1",
           pages ="1-28",
           year = "1996"}