-
Nota Final 23 Dic 202123/12/21 a las 21:44 hrs.2021-12-23 21:44:23
Stefan Malewski
-
Presentaciones 23 Dic 202123/12/21 a las 21:33 hrs.2021-12-23 21:33:23
Stefan Malewski
-
Tarea 3 23 Dic 202123/12/21 a las 15:31 hrs.2021-12-23 15:31:23
Stefan Malewski
-
Recordatorio presentaciones 23 de diciembre 19 Dic 202119/12/21 a las 18:43 hrs.2021-12-19 18:43:19
Stefan Malewski
-
videos lambda cube 10 Dic 202110/12/21 a las 10:38 hrs.2021-12-10 10:38:10
Éric Tanter
-
20211201 - apuntes.pdf 1 Dic 202101/12/21 a las 16:50 hrs.2021-12-01 16:50:01
Éric Tanter
-
20211201 - variance in scala.mp4 1 Dic 202101/12/21 a las 16:49 hrs.2021-12-01 16:49:01
Éric Tanter
-
20211201 - references.mp4 1 Dic 202101/12/21 a las 16:49 hrs.2021-12-01 16:49:01
Éric Tanter
-
20211129 - apuntes.pdf 29 Nov 202129/11/21 a las 16:04 hrs.2021-11-29 16:04:29
Éric Tanter
-
20211129 - subtyping.mp4 29 Nov 202129/11/21 a las 16:03 hrs.2021-11-29 16:03:29
Éric Tanter
-
Control 4: Tipos universales y existenciales. 29 Nov 202129/11/21 a las 13:29 hrs.2021-11-29 13:29:29
Stefan Malewski
-
20211124 - coq.mp4 24 Nov 202124/11/21 a las 21:48 hrs.2021-11-24 21:48:24
Éric Tanter
-
20211124 - apuntes.pdf 24 Nov 202124/11/21 a las 21:48 hrs.2021-11-24 21:48:24
Éric Tanter
-
20211124 - dependent types.mp4 24 Nov 202124/11/21 a las 21:47 hrs.2021-11-24 21:47:24
Éric Tanter
-
Re (9): Encuesta fecha presentaciones finales 24 Nov 202124/11/21 a las 04:35 hrs.2021-11-24 04:35:24
Stefan Malewski
-
Re (8): Encuesta fecha presentaciones finales 23 Nov 202123/11/21 a las 22:24 hrs.2021-11-23 22:24:23
Andrés Restrepo
-
Tarea 3: noninterference (Fecha entrega: 06/12/2021) 23 Nov 202123/11/21 a las 16:13 hrs.2021-11-23 16:13:23
Stefan Malewski
-
20211122 - apuntes.pdf 22 Nov 202122/11/21 a las 16:09 hrs.2021-11-22 16:09:22
Éric Tanter
-
20211122 - type operators.mp4 22 Nov 202122/11/21 a las 15:59 hrs.2021-11-22 15:59:22
Éric Tanter
-
Re (7): Encuesta fecha presentaciones finales 22 Nov 202122/11/21 a las 15:52 hrs.2021-11-22 15:52:22
Tomas Vallejos P.
-
Re (6): Encuesta fecha presentaciones finales 22 Nov 202122/11/21 a las 15:52 hrs.2021-11-22 15:52:22
Stefan Malewski
-
Re (5): Encuesta fecha presentaciones finales 22 Nov 202122/11/21 a las 15:49 hrs.2021-11-22 15:49:22
Stefan Malewski
-
Se ha publicado un nuevo test (Control 4: Tipos universales y existenciales.) 22 Nov 202122/11/21 a las 00:37 hrs.2021-11-22 00:37:22
Stefan Malewski
-
Re (4): Encuesta fecha presentaciones finales 18 Nov 202118/11/21 a las 11:55 hrs.2021-11-18 11:55:18
Éric Tanter
-
Re (3): Encuesta fecha presentaciones finales 17 Nov 202117/11/21 a las 19:12 hrs.2021-11-17 19:12:17
Francisco Olivares G.