Página de Programación Funcional


Objetivos del curso: brindar las nociones básicas del paradigma funcional. Por un lado se dan aspectos teóricos (fundamentos, como el cálculo lambda, y herramientas, como semántica denotacional y teoría de Kleene, así como interpretación abstracta y métodos de pruebas de propiedades de programas), mientras que por otro se dan aspectos prácticos, tales como programación usando tipos abstractos de datos, modos de evaluacián y funciones de orden superior. Se toman dos parciales, y se elabora un trabajo práctico usando Gofer, que se expone en el examen final.

INFORMACION

Información sobre el curso: programa, horarios, régimen de exámenes y trabajos prácticos.

DOCENTES

Quienes dictan Laboratorio 7 Programación Funcional.

LENGUAJES

Información sobre lenguajes funcionales, de uso aquí y en el mundo.

CONGRESOS

Congresos aquí y en el mundo que se relacionen con programación funcional o que la incluyan dentro de alguna de sus áreas.
Anti Spam


Página creada en abril 1996
Ultima actualización 1/8/1998

URL http://www.dc.uba.ar/people/materias/pf