[S13] Boletín Semanal

Stefan Malewski 17 Nov 202317/11/23 a las 09:56 hrs.2023-11-17 09:56:17

Hitos Evaluativos

Control 4: Tipos existenciales, operadores de tipos y tipos dependientes. | Fecha de entrega: 22 de Noviembre a las 23:59

Temas de la Semana

Plazo recomendando: Jueves 23 de Noviembre

Subtyping y referencias (Capítulo 24)
[Apuntes: Subtyping | Referencias][Videos: Subtyping | Referencias]
  • Principio de subsumption
  • Juicio de subtyping
  • Varianza
  • Problemas con el subtyping en lenguajes funcionales
  • Referencias
  • Store typing
  • Interacción entre referencias y subtyping
Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir
Categoría Boletines
Última Modificación 17 Nov 202317/11/23 a las 09:56 hrs.2023-11-17 09:56:17
Vistas Únicas 3