Tesis doctoral de Freire Brañas José Enrique
Identificación de las estructuras subyacentes a las categorías de eilenberg-moore y de kleisli asociadas a las mónadas usadas en algunos lenguajes funcionales puros para modelizar aspectos imperativos. dar una adecuada definición de la noción de tipo que permita abarcar estructuras abstractas. definición de morfismos genéricos sobre esos tipos de forma que, aplicados a parámetros adecuados, posibiliten la construcción de programas funcionales verificables. generalización de los teoremas de optimización (fusión y deforestación) aplicables a los morfismos previamente declarados. implementación y optimización en caml, usando los teoremas descritos en el apartado anterior, de los siguientes problemas: resolución, por medio de un algoritmo de búsqueda ciega, del problema ps de mccarthy, cálculo del número cromático y del spanning-tree de un grafo. construcción de morfismos sobre tipos anidados con la posibilidad de ser singularizados analizando qué requerimientos son precisos para poder definir tales funciones. caracterización de las funciones tail-recursive sobre los tipos regulares. implementación y demostración en coq de las propiedades previamente reseñadas. definición en coq de las funciones primitivo recursivas y de la noción de catamorfismo generalizado. demostración en coq del carácter catamórfico de la función de ackermann. demostración en coq de la imposibilidad de declarar la función de ackermann como catamorfismo generalizado. caracterización de los cotipos según su carácter coninductivo analizando la equiValencia con su definición en coq.
Datos académicos de la tesis doctoral «Funciones de orden superior en programación funcional. una perspectiva categórica«
- Título de la tesis: Funciones de orden superior en programación funcional. una perspectiva categórica
- Autor: Freire Brañas José Enrique
- Universidad: A coruña
- Fecha de lectura de la tesis: 24/07/2003
Dirección y tribunal
- Director de la tesis
- Freire Nistal José Luis
- Tribunal
- Presidente del tribunal: Antonio Blanco ferro
- felipe Gago couso (vocal)
- eladio Domínguez murillo (vocal)
- laureano Lambán aprdo (vocal)
