BibTeX
@MISC{Backhouse02genericproperties,
author = {Roland Backhouse and Paul Hoogendijk},
title = {Generic Properties of Datatypes},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Generic programming adds a new dimension to the parametrisation of programs by allowing programs to be dependent on the structure of the data that they manipulate.
Citations
| 874 | A theory of type polymorphism in programming - Milner - 1978 |
| 651 | Notions of computation and monads - Moggi - 1991 |
| 146 | Fundamental concepts in programming languages - Strachey - 2000 |
| 35 | The Standard ML Core language - Milner - 1984 |
| 27 | der Woude. Polynomial relators - Backhouse, Bruin, et al. - 1992 |
| 26 | Relations binaires, fermetures, correspondances de Galois - Riguet - 1948 |
| 25 | A Generic Theory of Datatypes - Hoogendijk - 1997 |
| 14 | When do datatypes commute - Hoogendijk, Backhouse - 1997 |
| 13 | de Moor O - Bird - 1997 |
| 9 | and Oege De Moor. Container types categorically - Hoogendijk - 2000 |
| 4 | Commuting relators. Available via World-Wide Web at http://www.cs.nott.ac.uk/~rcb/MPC/papers - Backhouse, Doornbos, et al. - 1992 |
