© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 kbytesBibtex 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}, }