Características de Lenguajes de Programación – LIDS

Profesores: Alejandro Díaz-Caro (Jano) y Juan Di Mauro

Apunte de la materia (Ultima modificación:  2018-10-03 (changelog)).
Basado en el libro “Introduction to the theory of programming languages” de Gilles Dowek y Jean-Jacques Lévy.

Prácticas:

Cronograma

Fechas Temas
14 y 15 de Agosto PCF no tipado
22 y 28 de Agosto Estrategias de reducción
29 de Agosto y 4 de Septiembre PCF tipado
5 y 11 de Septiembre Inferencia de tipos
12 y 18 de Septiembre Polimorfismo
19 y 25 de Septiembre Interpretación
26 de Septiembre Consulta
2 de Octubre Primer parcial
3 y 9 de Octubre Compilación
10 y 16 de Octubre Registros y objetos
17 y 23 de Octubre Semántica denotacional
24 y 30 de Octubre Demostraciones: Subject Reduction
31 de Octubre y 6 de Noviembre Demostraciones: Strong Normalisation
7 y 13 de Noviembre Deducción Natural
14 y 20 de Noviembre Introducción a Lógica Lineal
21 de Noviembre Lenguajes para diferentes propósitos
27 de Noviembre Consulta
28 de Noviembre Segundo parcial
4 de Diciembre Consulta
5 de Diciembre Recuperatorio
11 de Diciembre Consulta
12 de Diciembre Integrador