MATE4038 Prog. Funcional y Aplicaciones

Este curso de verano cubre técnicas de programación funcional, utilizando Haskell como vehículo para entender la relación entre programación funcional y matemáticas constructivas y algunos de los recientes avances en teoría y aplicaciones.