Miscelánea 

Martes de 10 a 13hs,  aula 123 del edificio anexo.

Calendario

20/Sep: Introducción al lambda cálculo no tipado
25/Sep: Confluencia con método de Takahashi [3]. Intro a lambda cálculo simplemente tipado
02/Oct: Sistema de tipos y semántica operacional para booleanos, funciones, naturales
09/Oct: No hay clases
16/Oct: José expuso: subtipado (TPL 15.1-15.3)
23/Oct: Carlos expuso: subtipado algorítmico (TPL 16)
30/Oct: E.B. expone: referencias
06/Nov: Sin clases
13/Nov: José expuso: Imperative objects (TPL 18)
20/Nov: Carlos expuso: Inferencia de tipos, let-polymorphism (TPL 22)
27/Nov: José: Cuantificación universal y existencial de variables de tipos (TPL 23 y 24)
04/Dic: Sin clases (bugweek en Core)
11/Dic: Carlos: Bounded quantification (intro, ejemplos, sistema de tipos) (TPL 26)
18/Dic: ?: Metateoría de bounded quantification (TPL 28)

Bibliografía

[1] Henk Barendregt. The Lambda Calculus, its Syntax and Semantics. North-Holland, Amsterdam, second edition, 1984

[2] Benjamin C. Pierce. Types and Programming Languages, MIT Press, 2002

[3] Masako Takahashi. Parallel reductions in λ-calculus. Information and Computation, 118(1):120–127, April 1995

[4] Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, 1985