Apuntes y prácticas Apuntes de la materia (última modificación: 19-septiembre-2023) Práctica 1: PCF no tipado Práctica 2: Estrategias de reducción + PCF tipado Práctica 3: Inferencia de tipos + Polimorfismo Práctica 4: Interpretación y Compilación Práctica 5: Registros y objetos + Semántica denotacional Práctica 6: Demostración de teoremas de Subject Reduction