Journal of Functional Programming 10(2): 191-225.

Authors: Paul Hoogendijk and Oege de Moor
>

Abstract

A program derivation is said to be {\em polytypic} if some of its parameters are data types. Often these data types are container types, whose elements store data. Polytypic program derivations necessitate a general, non-inductive definition of `container (data) type'. Here we propose such a definition: a container type is a relator that has membership. It is shown how this definition implies various other properties that are shared by all container types. In particular, all container types have a unique strength, and all natural transformations between container types are strong.

(PS)

BIBTEX:

           @article{jfp00hoogendijk, 
           author = "Paul Hoogendijk and De Moor, Oege", 
           title = "Container types categorically", 
           journal = "Journal of Functional Programming", 
           volume = "10",
           number = "2",
           pages = "191--225",
           year = "2000"}