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
Calendario
de Entregas y Evaluaciones
La fecha que figura al lado de cada
práctico
es la límite para la entrega de los ejercicios indicados.
Las entregas deben ser realizadas por e-mail a: cluna@fing.edu.uy.
-
Módulo 1: 26-8
-
Módulo 2: 9/9
-
Módulo 3: 28/9
-
Parcial 1:
-
Módulo 4:
-
Módulo 5:
-
Módulo 6:
-
Parcial 2:
- Módulo 7:
Cualquier sugerencia
puede ser remitida por Email a los docentes
del curso.