GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...

1992.
P. Hudak, J. Peterson, J. Fasel. A Gentle Introduction to Haskell. Yale Haskell Project,
1997.
J.Backus. Can Programming be Liberated from the von Neumann Style? A Functional
Style and Its Algebra of Programs. Communications of the ACM, 21 (8):613-641,
Agosto 1978.
P.Hudak. Conception, Evolution, and Application of Functional Programming
Languages. ACM Computing Surveys, 21 (2):359-411, 1989.
J.Armstrong. Erlang: A survey of the language and its industrial applications. Actas del
congreso INAP'96. Tokio, Japón, Octubre 1996.
Contenido
1. Fundamentos
1.1 Lambda-Cálculo: Lambda-Cálculo Puro. Sustitución. Reglas de Reducción.
Normalización. Evaluación Perezosa y Voraz. Combinador Punto Fijo y Recursión.
Representación de valores. Extensiones al Lambda-Cálculo Puro.
1.2. Sistema de Tipos: Lambda-Cálculo con tipado simple. Coherencia (Soundness).
Inferencia de Tipos. Sistema de Tipos Polimórfico. Tipos Existenciales y Abstracción
de Datos.
2. Programación utilizando Lenguajes Funcionales
2.1. LF Estrictos: ML (Objective Caml)
2.2. LF Perezosos: Haskell (GHC, Hugs)
2.3. LF Concurrentes/Distribuidos: Erlang
3. Implementación de Lenguajes Funcionales
3.1. Representación en Lenguaje de Bajo Nivel
3.2. Gestión Automática de Memoria
3.3. Técnicas de Compilación
233