2010/2 Planning

semana dia materia referencias/material evaluaciones
semana 1 1 overview del curso
introducción a sistemas de tipos, problematica, y desafíos
ejemplos con Scheme y Java
repasar conceptos básicos de inducción
definición de sintáxis
PLAI 24
TAPL 1, 2
TAPL 3.1-3.2
2 inducción estructural
semántica operacional
TAPL 3
semana 2 1 razonar sobre evaluación
terminología
TAPL 3
TS
2 expresiones aritmeticas tipeadas
coherencia del sistema de tipos
TAPL 8
semana 3 1 lambda calculus TAPL 5
2 simply-typed lambda calculusTAPL 9 publi tarea 1
semana 4 1
2
semana 5 1
2
semana 6 1
2


Tareas