-
Re (2): Encuesta fecha presentaciones finales 17 Nov 202117/11/21 at 18:352021-11-17 18:35:17
Éric Tanter -
20211117 - apuntes.pdf 17 Nov 202117/11/21 at 18:312021-11-17 18:31:17
Éric Tanter -
20211117 - existential types (parte 2).mp4 17 Nov 202117/11/21 at 18:302021-11-17 18:30:17
Éric Tanter -
Re (1): Encuesta fecha presentaciones finales 17 Nov 202117/11/21 at 16:522021-11-17 16:52:17
Cristian Urbina G. -
Encuesta fecha presentaciones finales 17 Nov 202117/11/21 at 14:342021-11-17 14:34:17
Stefan Malewski -
20211115 - apuntes.pdf 15 Nov 202115/11/21 at 16:322021-11-15 16:32:15
Éric Tanter -
20211115 - existential types.mp4 15 Nov 202115/11/21 at 16:212021-11-15 16:21:15
Éric Tanter -
20211112 - tarea3.mp4 12 Nov 202112/11/21 at 21:442021-11-12 21:44:12
Stefan Malewski -
Tarea 3 11 Nov 202111/11/21 at 21:412021-11-11 21:41:11
Stefan Malewski -
Presentación tarea 3 11 Nov 202111/11/21 at 06:192021-11-11 06:19:11
Stefan Malewski -
20211110 - apuntes.pdf 10 Nov 202110/11/21 at 16:052021-11-10 16:05:10
Éric Tanter -
20211110 - System F (parte 2).mp4 10 Nov 202110/11/21 at 16:042021-11-10 16:04:10
Éric Tanter -
20211108 - apuntes.pdf 8 Nov 202108/11/21 at 15:552021-11-08 15:55:08
Éric Tanter -
20211108 - System F (parte 1).mp4 8 Nov 202108/11/21 at 15:542021-11-08 15:54:08
Éric Tanter -
Tarea 2 7 Nov 202107/11/21 at 21:552021-11-07 21:55:07
Stefan Malewski -
20211027 - apuntes.pdf 27 Oct 202127/10/21 at 16:282021-10-27 16:28:27
Éric Tanter -
20211027 - PCF.mp4 27 Oct 202127/10/21 at 16:282021-10-27 16:28:27
Éric Tanter -
20211025 - apuntes.pdf 27 Oct 202127/10/21 at 14:222021-10-27 14:22:27
Éric Tanter -
20211025 - termination of STLC.mp4 25 Oct 202125/10/21 at 16:182021-10-25 16:18:25
Éric Tanter -
Tarea 2: Funciones, productos y sumas. (Fecha entrega: 22/10/2021) 24 Oct 202124/10/21 at 22:162021-10-24 22:16:24
Stefan Malewski -
Control 3: Sumas, productos y propositions-as-types. 21 Oct 202121/10/21 at 21:172021-10-21 21:17:21
Stefan Malewski -
Se ha publicado un nuevo test (Control 3: Sumas, productos y propositions-as-types.) 20 Oct 202120/10/21 at 15:112021-10-20 15:11:20
Stefan Malewski -
20211015 - aux.mp4 19 Oct 202119/10/21 at 20:202021-10-19 20:20:19
Stefan Malewski -
20211018 - null.mp4 18 Oct 202118/10/21 at 16:402021-10-18 16:40:18
Stefan Malewski -
20211018 - apuntes.pdf 18 Oct 202118/10/21 at 16:372021-10-18 16:37:18
Stefan Malewski