School of Computing

Nested collections and polytypism

E.A. Boiten and P.F. Hoogendijk

Computing Science Report 96-17, Department of Computing Science, Eindhoven University of Technology, November 1996.

Abstract

A point-free calculus of so-called "collection types" is presented, similar to the monadic calculus of Tannen, Buneman and Wong. 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.

Download publication 85 kbytes

Bibtex Record

@techreport{168,
author = {E.A. Boiten and P.F. Hoogendijk},
title = {Nested collections and polytypism},
month = {November},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/168},
    institution = {Department of Computing Science,             Eindhoven University of Technology},
    number = {96-17},
    type = {Computing Science Report},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014