[S11] Boletín Semanal

Stefan Malewski 28 Oct 202328/10/23 a las 12:54 hrs.2023-10-28 12:54:28

Hitos Evaluativos

Tarea 3: Non-interference. | Fecha de entrega: 29 de Noviembre a las 23:59

Temas de la Semana

Plazo recomendando: Jueves 9 de Noviembre

Tipos existenciales (Capítulo 17)
[Apuntes: Tipos existenciales][Videos: Tipos existenciales]
  • Tipos de datos abstractos
  • Codificando los tipos existenciales en System F
  • Representation independence
  • Bisimulación

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir
Última Modificación 28 Oct 202328/10/23 a las 12:54 hrs.2023-10-28 12:54:28
Vistas Únicas 2