[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:59

Temas de la Semana

Plazo recomendando: Jueves 26 de Octubre

System 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