Programación Declarativa Avanzada

 (Optativa, 2º ciclo, Ingeniería Informática)

 

RELACIÓN DE TRABAJOS MONOGRÁFICOS REALIZADOS DURANTE EL CURSO 2005-2006

Grupo(dispo)                        Título                                                                                   Temática

G1           doc,ppt, prog         Lenguajes Lógico-Funcionales                                              Fundamentos/Extensiones

G2           prog,ppt                 Concurrencia en Haskell. Comunicación con Canales           Extensiones/Prog. Avanzada

G3           ppt                         Entrada/Salida en el lenguaje funcional Haskell                     Extensiones/Prog. Avanzada

G4           ppt                         Redes Neuronales y Programación Declarativa                    Prog. Avanzada/Fundamentos

G4           ppt                         Promoción Numérica en Haskell                                           Prog. Avanzada

G5           ppt,pdf                   HSP(Haskell Server Pages)                                                   Extensiones

G6           pdf                          El lenguaje SIMULA                                                            Fundamentos/Extensiones

G7           ppt                         Integración de los paradigmas lógico y funcional                  Fundamentos/Extensiones/Prog. Avanzada

G8           ppt,prog                 Programación de Servidores WEB. CGI. Un ejemplo Haskell Extensiones/Prog. Avanzada

G9           ppt                         El lenguaje SIMULA                                                            Fundamentos/Extensiones

G10         ppt                         HOpenGL                                                                             Extensiones/Prog. Avanzada/Gráficos

G11         pdf,ppt                   HUnit                                                                                    Fundamentos/Prog. Avanzada

G12         pdf,prog                 Tipos Abstractos de Datos en Haskell                                 Extensiones/Prog. Avanzada

G13         ppt,prog                 El algoritmo X de D. Knuth. Descripción LISP                   Prog. Avanzada

G14         ppt                         Algoritmos Genéticos                                                           Extensiones

G15         ppt,pdf                   Construcción de compiladores con Haskell                          Mónadas/Prog.Avanzada

G16         doc                          ISWIN                                                                                   Fundamentos

G17         pdf                          Introducción al lambda cálculo                                              Fundamentos

 

 

 

 (ppt: presentación, prog : programas Prolog, Haskell, …, art : artículos relacionados, doc, pdf,… : trabajo completo)