Programación Lógica y Funcional

Lista de Posibles temas (los alumnos pueden elegir otros temas)

A continuación se proponen varios temas posibles

Tema Referencias
Cliente IRC en Haskell HIRCULES Nuevo
Lenguaje Curry The Functional-Logic Language Curry Nuevo
XSLT y Programación Funcional The Functional Programming Language XSLT - A proof through examples
Mondrian: Programación Funcional en .NET Mondrian - Internet Scripting Language
Motor de Juegos en Haskell FunGen - A Game Engine for Haskell
Haskell y XML (I) HaXML
Haskell y XML (II) Haskell XML Toolbox
Programación Funcional y XML Functional Programming and XML
Haskell y Web Web Authoring System for Haskell
Depuración de Programas Haskell Buddha
Chequeo de Programas Haskell QuickCheck
Prueba unitaria de programas Haskell HUnit
Documentación de programas Haskell Haddock
Depuración declarativa de programas Declarative Debugging
Concurrencia y excepciones en Haskell Tackling the awkward squad...
Analizadores sintácticos Parsec
Haskell + Orientación a Objetos O'Haskell
Programación genérica en Haskell Generic Haskell
Interfaces gráficos de usuario (GTK+) A GTK+ Binding to Haskell
Gráficos (OpenGL) A Haskell binding to OpenGL
Generación de HTML desde Haskell Librería HTML para Haskell
Enlazando Haskell con otros lenguajes Foreign Function Interface
Generación y manipulación de Imágenes PAN
Robots y visión Functional Robotics
METAPOST y Haskell Functional Metapost
Música Haskore
Juegos e Inteligencia Artificial (I) Diversos juegos: AI Wars   Mindrover
Juegos e Inteligencia Artificial (II) Página de John Laird: Haunt2 y otros.
Juegos e Inteligencia Artificial (III) Desarrollo de Robots para Quake III
Robots cognitivos Golog
Web Semántica (RDF) y Prolog An Introduction to Prolog and RDF
Web Semántica: Inferencia Lenguaje TRIPLE (basado en Prolog)
Definición de Ontologías Web Ontology Language
Contratos financieros en Haskell How to write a financial contract Nuevo
Author: Jose Emilio Labra Gayo
Last Updated: $Date: 23/11/2001 $