Disertante : Dr. Pablo Azero

Comunidad Haskell San Simón

Universidad Mayor de San Simón

El algoritmo de unificación es ampliamente usado en la construcción de sistemas de tipos y de la ejecución de programas lógicos. El algoritmo no es complicado, pero se utiliza como un ejemplo para ir
mostrando varias técnicas de programación funcional en el lenguaje Haskell. El algoritmo, si tiene éxito, construye la sustitución más general que unifica dos términos de primer orden con variables. Una de las aplicaciones mostradas en la exposición se refiere a la construcción de un sistema de inferencia de tipos.

Fecha: Jueves 11 de Octubre de 2007.
Hora : 19:00 - 20:00.
Lugar : Aula 680, Depto Informática

Dirigido a : Estudiantes de las carreras de Informática y Sistemas,con interés en programación funcional, profesionales del área e interesados en general.

Entrada Libre y gratuita.

Auspicia : Carrera Informática