Apuntes de la materia (última modificación: 26-noviembre-2024)
Changelog desde la versión del 7/8/24 a la del 19/8/24:
* Cambio en la bibliografía, de la 2da edición a la 3ra edición de uno de los libros.
Changelog desde la versión del 19/8/24 a la del 26/11/24:
* Cambio en el cronograma (qué día es virtual y qué día no)
Tema 1: PCF no tipado
📄 Pizarra de la clase virtual
📄 Práctica 1: PCF no tipado
Tema 2: Estrategias de reducción + PCF tipado
📄 Práctica 2: Estrategias de reducción + PCF tipado
Tema 3: Inferencia de tipos + Polimorfismo
📄 Práctica 3: Inferencia de tipos + Polimorfismo
Tema 4: Interpretación y compilación
📄 Práctica 4: Interpretación y compilación
Tema 5: Registros y objetos + Semántica denotacional
📄 Práctica 5: Registros y objetos + Semántica denotacional
▶ Grabación de la clase
Tema 6: Subject reduction
📄 Práctica 6: Subject reduction
📄 Pizarra de la clase
▶ Grabación de la clase