Nested collections and polytypism

Boiten, Eerke Albert and Hoogendijk, P.F. (1996) Nested collections and polytypism. Technical report. Department of Computing Science, Eindhoven University (Full text available)

Download (354kB) Preview
Download (212kB)


A point-free calculus of so-called ''collection types'' is presented, similar to the monadic calculus of We observe that our calculus is parametrised by a monad thus making the calculus ''polytypic''. A novel contribution of the paper is to discuss situations in which a single application involves more than one collection type. In particular, we outline the contribution to database research that may be obtained by exploiting current developments in polytypic programming.

Item Type: Monograph (Technical report)
Uncontrolled keywords: collection types, monads, relational databases
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: E.A. Boiten
Date Deposited: 25 Aug 2009 20:33 UTC
Last Modified: 20 Oct 2015 14:15 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, Eerke Albert:
  • Depositors only (login required):


Downloads per month over past year