Boiten, Eerke Albert and Hoogendijk, P.F. (1996) Nested collections and polytypism. Technical report. Department of Computing Science, Eindhoven University (KAR id:21323)
PDF
Language: English |
|
Download this file (PDF/286kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Postscript
Language: English |
|
Download this file (Postscript/212kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader |
Abstract
A point-free calculus of so-called ''collection types'' is presented, similar to the monadic calculus of http://www.cis.upenn.edu/~db/home.html. 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: | Reports and Papers (Technical report) |
---|---|
Uncontrolled keywords: | collection types, monads, relational databases |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Eerke Boiten |
Date Deposited: | 25 Aug 2009 20:33 UTC |
Last Modified: | 16 Nov 2021 09:59 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21323 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):