The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper. We explore the…
Fecha:
2012-11-09
Recurso:
Unversidad Nacional de La Plata
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®