PROGRAMA OFICIAL DE
LA ASIGNATURA
APUNTES y MATERIAL COMPLEMENTARIO:
Notas para la asignatura “Programación Declarativa Avanzada (notas del profesor)
El lambda cálculo (notas del profesor)
The Next 700
Programming Languages; P. J. Landin (1965)
Cduce. Un lenguaje (XML) con un sistema de tipos sólido para trabajar con
documentos XML
Flow Caml: prototipo de
un analizador de flujo de información para Caml (combina
estilos imperativo, fun.l y OO).
Links:
Linking Theory to Practice for the Web
Clojure: un dialecto de Lisp puente con Java
Calificaciones Provisionales
Junio 2012
CODIGO DE EJEMPLOS y EJERCICIOS:
Puzzles con Diálogos Código para ejercicios de Puzzles con Diálogos
Búsqueda en Grafos Otros Puzzles (Coloreado de Mapas, Sopa de Letras, Klotski)
Simulación (Generación de aleatorios, Poker, Dados, Primitiva, Quinielas, ...)
Intérpretes (Determinista, Indeterminista, ...)
Tipos ¡provisional! (Tipos enormes, ...)
Computación estática en Haskell
Otros ¡provisional! (Números Romanos, ...)
CALENDARIO DE EXPOSICIONES DE TRABAJOS MONOGRÁFICOS (CURSO
2011-2012):
|
19 Marzo |
|
|
21 Marzo |
|
|
26 Marzo |
|
|
28 Marzo |
|
|
11 Abril |
|
|
16 Abril |
|
|
18 Abril |
|
|
23 Abril |
|
|
25 Abril |
|
|
02 Mayo |
|
|
07 Mayo |
|
|
09 Mayo |
|
|
14 Mayo |
|
|
16 Mayo |
|
|
21 Mayo |
|
|
23 Mayo |
|
|
28 Mayo |
|
|
30 Mayo |
|
|
04 Junio |
|