This is an old revision of the document!
Fecha | Tema | Referencia | Adicional |
---|---|---|---|
M 30 Jul | introducción | - | articulo sobre tipos |
L 4 Ago | semántica via sintaxis | SEwPR Cap 1 | - |
M 6 Ago | analizar semántica (intro) | SEwPR Cap 2 | - |
intro a PLT Redex | SEwPR Cap 11 | bool1.rkt | |
L 11 Ago | analizar semántica | SEwPR Cap 2 | - |
redex-check | SEwPR Cap 14 | bool2.rkt | |
M 13 Ago | contextos de evaluación | bool3.rkt | Run your research! |
L 18 Ago | lambda calculo | SEwPR Cap 3 | lc1.rkt |
M 20 Ago | paro | ||
L 25 Ago | lambda calculo | SEwPR Cap 3 | control 1 |
M 27 Ago | repaso control 1 | ||
fin lambda calculo | SEwPR Cap 3 | ||
L 1 / M 3 Sep | profe en conferencia – no hay clase | ||
tarea: estudiar el capitulo 3 hasta 3.7 incluido, experimentando con Redex | |||
L 8 Sep | ISWIM | SEwPR Cap 4 | |
L 10 Sep | ISWIM: reducción estándar | SEwPR Cap 5 | |
L 15 / M 17 Sep | vacaciones fiestas patrias | ||
L 22 Sep | Errores | SEwPR Cap 8.1-8.2 | |
M 24 Sep | Excepciones y continuaciones | SEwPR Cap 8.3-8.5 | Tarea 2 |
L 29 Sep | Intro tipos | terminology.pdf | Type systems, L. Cardelli |
Aritmética con tipos | TAPL Cap 8.1-8.2 | typed-arithm1.pdf | |
M 1 Oct | Aritmética con tipos: consistencia | TAPL Cap 8.3 | typed-arithm2.pdf |
control 2 | |||
L 6 Oct | Lambda calculo con tipos simples: | TAPL Cap 9.1-9-3 | stlc-progress.pdf |
definición y progreso | SEwPR Cap 10 | ||
M 8 Oct | Lambda calculo con tipos simples: preservación | TAPL Cap 9 | stlc-preservation.pdf |
control 3a | |||
L 13 Oct | Extensiones simples | TAPL 11.1-11.8 | extensions.pdf |
M 15 Oct | Tipos universales | TAPL 23.1-23.3 | universals.pdf |
L 20 / M 22 Oct | profe en conferencia – no hay clase | ||
L 27 Oct | |||
M 29 Oct | |||
L 3 Nov | |||
M 5 Nov | |||
L 10 Nov | |||
M 12 Nov | |||
L 17 Nov | |||
M 19 Nov |
Referencias:
- SEwPR: Semantics Engineering with PLT Redex (disponible en biblioteca)
- TAPL: Types and Programming Languages (disponible en biblioteca)
- CPDT: Certified Programming with Dependent Types (disponible en PDF, y biblioteca)