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