Este curso se desarrolla también para la
Licenciatura en Ciencias de la
Computación de la FCEIA, UNR (Argentina)
- Construcción
Formal de
Programas en Teoría de Tipos
- 2do semestre de 2013
Por
la realización de estudios dirigidos, proyectos u otros
intereses académicos relacionados con los tópicos del
curso contactar a los
docentes.
Cartelera:
- 12/08/14: Este sitio web está en proceso de migración al EVA de FING
(https://eva.fing.edu.uy/course/view.php?id=363).
- 23/07/13: La primera clase/reunión del curso
(de Montevideo) será el día 06/08 a las 17hs en el salón 002 (planta baja,
IEE).
- 23/07/13: Este sitio está en proceso de
actualización para el curso del semestre 2 de 2013.
Cualquier
sugerencia puede ser remitida por email a los:
docentes
del curso
