Dr. Alberto Pardo | ||
Líneas de trabajo en el área de Programación Funcional | ||
Con el tiempo la Programación Funcional se ha convertido en una de las áreas tradicionales en el InCo y en particular del Grupo LCC (Laboratorio de Ciencia de la Computación). En esta charla haremos una descripción de las principales líneas de trabajo que estamos actualmente desarrollando en Programación Funcional, entre las que encuentran las siguientes:
- Programación a nivel de tipos (type-level programming) y sus aplicaciones. Por ejemplo, * mejora de la performance en tiempo de ejecución de ciertas estructuras de datos * implementación de compiladores para lenguajes extensibles de forma type-safe * desarrollo de compiladores que preservan propiedades, por ejemplo, de seguridad. - Fusión de programas - Diseño e implementación de EDSLs (Embedded Domain Specific Languages) - Paralelismo en programación funcional |
||
Volver a Programa |