Constructing polymorphic programs with quotient types (2004)
| Venue: | In 7th International Conference on Mathematics of Program Construction (MPC |
| Citations: | 10 - 3 self |
BibTeX
@INPROCEEDINGS{Abbott04constructingpolymorphic,
author = {Michael Abbott and Thorsten Altenkirch and Neil Ghani and Conor Mcbride},
title = {Constructing polymorphic programs with quotient types},
booktitle = {In 7th International Conference on Mathematics of Program Construction (MPC},
year = {2004},
pages = {2--15},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the most successful approaches to date but, as of yet, has not been applicable to programming with quotient datatypes such as unordered pairs, cyclic lists, bags etc. This paper provides the basis for writing polymorphic programs over quotient datatypes by extending our recently developed theory of containers. 1
Citations
| 30 | Categories of containers - Abbott, Altenkirch, et al. - 2003 |
