Presentación del grupo 7018 - 2011-2.

En este curso se analizarán los conceptos básicos que fundamentan a los lenguajes de programación mediante el uso de los sistemas de tipos. Este formalismo permitirá conocer y estudiar a fondo las caracteristícas particulares de los diferentes paradigmas de programación para que así, antes que otra cosa, puedan ser comparados y entendidos, y después podamos seleccionar el de mejor conveniencia para llevar a cabo una tarea particular. Así también, para comprender las ideas que hay detráas de nuevos lenguajes o de lenguajes no tan conocidos y de los que hay en desarrollo. Debido a la importancia de todos los temas, éstos serán llevados a la práctica bajo el lenguaje Haskell 98.

Página del curso