Finite Presheaf categories as a nice setting for doing generic programming

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 class of nite presheaf categories. Each of these categories can...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Menni, Matías
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1997
Materias:
Ciencias Informáticas
Finite Presheaf
generic programming
ARTIFICIAL INTELLIGENCE
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23993
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares