
[S10] Boletín Semanal
Stefan Malewski 20 Oct 202320/10/23 a las 13:12 hrs.2023-10-20 13:12:20
Hitos Evaluativos
Control 3: Estructuras finitas y lógica constructiva. | Fecha de entrega: 25 de Octubre a las 23:59Temas de la Semana
Plazo recomendando: Jueves 26 de OctubreSystem F: Lambda cálculo polimórfico (Capítulo 16)
[Apuntes: System F][Videos: System F]
- System F
- Church vs Curry style
- Codificación de tipos en System F
- Parametricidad
- Free theorems
Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir | |
---|---|
Categoría | Boletines |
Última Modificación | 20 Oct 202320/10/23 a las 13:12 hrs.2023-10-20 13:12:20 |
Vistas Únicas | 4 |