Fundamentos de Cálculos con Subtipos y Objetos

del 22 al 30 de junio, 1998.
Universidad de La Plata

Clase 1: Introducción al cálculo lambda simplemente tipado. Propiedades: Church-Rosser, Reducción del Sujeto, Normalizacion Fuerte y Unicidad de Tipos. Un Algoritmo de chequeo de tipos.

Clase 2: Cálculo lambda simplemente tipado con subtipos. Propiedades: Eliminación de Transitividad e Inversión de Reglas.

Clase 3: Cálculos de objetos de primer orden de Abadi y Cardelli: no tipado y tipado. Codificación del cálculo lambda. Codificación de tipos de datos.

Clase 4: Extensión del cálculo de objetos de primer orden de Abadi y Cardelli con reescritura algebraica. Ejemplo: un editor de líneas.

Clase 5: Cálculos lambda de segundo orden y de orden superior con subtipos. Un algoritmo para chequear subtipos. Decidibilidad de la relación de subtipo.

Bibliografía