-
presentaciones 6 NovNovember 6 at 15:082025-11-06 15:08:06
Éric Tanter -
[S12] Subtyping y referencias 6 NovNovember 6 at 15:042025-11-06 15:04:06
Éric Tanter -
18_referencias.pdf 6 NovNovember 6 at 14:592025-11-06 14:59:06
Éric Tanter -
17_subtyping.pdf 6 NovNovember 6 at 14:592025-11-06 14:59:06
Éric Tanter -
Re (1): El cálculo de la nota final seguirá siendo 50/50? 5 NovNovember 5 at 21:352025-11-05 21:35:05
Éric Tanter -
Control 3 5 NovNovember 5 at 13:032025-11-05 13:03:05
Tomás Díaz T. -
El cálculo de la nota final seguirá siendo 50/50? 5 NovNovember 5 at 12:022025-11-05 12:02:05
Manuel Saavedra Soto -
Tarea 2 5 NovNovember 5 at 11:432025-11-05 11:43:05
Tomás Díaz T. -
tarea3.pdf 4 NovNovember 4 at 05:422025-11-04 05:42:04
Tomás Díaz T. -
Tarea 3 (Fecha entrega: 18/11/2025) 4 NovNovember 4 at 05:412025-11-04 05:41:04
Tomás Díaz T. -
Cierre del semestre 31 OctOctober 31 at 11:422025-10-31 11:42:31
Éric Tanter -
Acaba de empezar una clase virtual (Viernes 24 de Octubre) 24 OctOctober 24 at 08:272025-10-24 08:27:24
Tomás Díaz T. -
14_tipos_existenciales.pdf 23 OctOctober 23 at 11:222025-10-23 11:22:23
Éric Tanter -
[S11] Tipos existenciales 23 OctOctober 23 at 11:222025-10-23 11:22:23
Éric Tanter -
Re (1): Petición para más plazo control 3 21 OctOctober 21 at 17:472025-10-21 17:47:21
Tomás Díaz T. -
Control 2 21 OctOctober 21 at 17:372025-10-21 17:37:21
Tomás Díaz T. -
Petición para más plazo control 3 21 OctOctober 21 at 14:322025-10-21 14:32:21
Benjamín Duarte Nass -
control3.pdf 21 OctOctober 21 at 11:582025-10-21 11:58:21
Tomás Díaz T. -
13_system_f.pdf 16 OctOctober 16 at 14:132025-10-16 14:13:16
Éric Tanter -
[S10] System F: Lambda cálculo polimórfico 16 OctOctober 16 at 14:122025-10-16 14:12:16
Éric Tanter -
No hay auxiliar viernes 17 de octubre 14 OctOctober 14 at 19:462025-10-14 19:46:14
Tomás Díaz T. -
tarea2.pdf 10 OctOctober 10 at 11:592025-10-10 11:59:10
Tomás Díaz T. -
Tarea 2 (Fecha entrega: 24/10/2025) 10 OctOctober 10 at 11:582025-10-10 11:58:10
Tomás Díaz T. -
12_pcf.pdf 9 OctOctober 9 at 11:562025-10-09 11:56:09
Éric Tanter -
11_terminacion_del_STLC.pdf 9 OctOctober 9 at 11:552025-10-09 11:55:09
Éric Tanter