G1 doc,ppt,
prog Procesamiento automático del Lenguaje
Natural Prog.
Avanzada/Fundamentos
G1 doc,ppt,ejercicios El modelo Desplegar/Plegar Fundamentos
G2 doc,ppt,prog Concurrencia en Lenguajes Funcionales:
C. Haskell Extensiones/Prog.
Avanzada
G3 doc,ppt,proa Puzzles: Cuadrados Mágicos con fichas de
dominó
y Coloreado de Mapas Prog. avanzada
G4 pdf,ppt Programación Lógica con Restricciones Extensiones
G5 pdf,ppt Lambda cálculo con tipos Fundamentos
G5 pdf,ppt Aritmética en el lambda cálculo
puro Fundamentos
G6 ppt,prog Entrada salida en Haskell. Un analizador Extensiones/Prog.
Avanzada
G6 prog Simulación.
El juego del póker. Prog.
Avanzada
G6,G8 ppt,prog Tipos abstractos de datos en Haskell Prog.
Avanzada
G7 ppt,prog Círculos
mágicos Prog.
Avanzada
G8 ppt,prog,doc El solitario de Abreu en tres
dimensiones Prog.
Avanzada
G8 ppt,prog Clases
y módulos en Haskell Extensiones/Prog.
Avanzada
G9 ppt,prog Implementación de lenguajes perezosos. STG
Implementación
G10 prog,ppt,art HaskellScript y sus aplicaciones.
Ejemplos
de cooperación Html-Haskell-
Visual Basic: Puzzles Extensiones/Prog.
Avanzada
G11 prog,ppt Puzzles con diálogos Prog.
Avanzada
G12 prog,ppt,doc Parlog. Estudio de la implementación ParlogW Prog.
Avanzada/Extensiones
G13 prog,ppt,pdf Simulación
y Programación modular con Haskell.
El
COMBO y la Primitiva Prog.
Avanzada
G14 ppt,art Logic-Web. Un ejemplo teórico práctico con Parlow Fundamentos/Prog.
Avanzada
G15,G16 prog,ppt,doc Matemáticas recreativas. Puzzles con
diálogos Prog.
avanzada
(ppt:
presentación, prog : programas Prolog, Haskell, …, art :
artículos relacionados, doc, pdf,… : trabajo completo)