Re (2): Encuesta fecha presentaciones finales 17 Nov 202117/11/21 a las 18:35 hrs.2021-11-17 18:35:17

Éric Tanter

20211117 - apuntes.pdf 17 Nov 202117/11/21 a las 18:31 hrs.2021-11-17 18:31:17

Éric Tanter

20211117 - existential types (parte 2).mp4 17 Nov 202117/11/21 a las 18:30 hrs.2021-11-17 18:30:17

Éric Tanter

Re (1): Encuesta fecha presentaciones finales 17 Nov 202117/11/21 a las 16:52 hrs.2021-11-17 16:52:17

Cristian Urbina G.

Encuesta fecha presentaciones finales 17 Nov 202117/11/21 a las 14:34 hrs.2021-11-17 14:34:17

Stefan Malewski

20211115 - apuntes.pdf 15 Nov 202115/11/21 a las 16:32 hrs.2021-11-15 16:32:15

Éric Tanter

20211115 - existential types.mp4 15 Nov 202115/11/21 a las 16:21 hrs.2021-11-15 16:21:15

Éric Tanter

20211112 - tarea3.mp4 12 Nov 202112/11/21 a las 21:44 hrs.2021-11-12 21:44:12

Stefan Malewski

Tarea 3 11 Nov 202111/11/21 a las 21:41 hrs.2021-11-11 21:41:11

Stefan Malewski

Presentación tarea 3 11 Nov 202111/11/21 a las 06:19 hrs.2021-11-11 06:19:11

Stefan Malewski

20211110 - apuntes.pdf 10 Nov 202110/11/21 a las 16:05 hrs.2021-11-10 16:05:10

Éric Tanter

20211110 - System F (parte 2).mp4 10 Nov 202110/11/21 a las 16:04 hrs.2021-11-10 16:04:10

Éric Tanter

20211108 - apuntes.pdf 8 Nov 202108/11/21 a las 15:55 hrs.2021-11-08 15:55:08

Éric Tanter

20211108 - System F (parte 1).mp4 8 Nov 202108/11/21 a las 15:54 hrs.2021-11-08 15:54:08

Éric Tanter

Tarea 2 7 Nov 202107/11/21 a las 21:55 hrs.2021-11-07 21:55:07

Stefan Malewski

20211027 - apuntes.pdf 27 Oct 202127/10/21 a las 16:28 hrs.2021-10-27 16:28:27

Éric Tanter

20211027 - PCF.mp4 27 Oct 202127/10/21 a las 16:28 hrs.2021-10-27 16:28:27

Éric Tanter

20211025 - apuntes.pdf 27 Oct 202127/10/21 a las 14:22 hrs.2021-10-27 14:22:27

Éric Tanter

20211025 - termination of STLC.mp4 25 Oct 202125/10/21 a las 16:18 hrs.2021-10-25 16:18:25

Éric Tanter

Tarea 2: Funciones, productos y sumas. (Fecha entrega: 22/10/2021) 24 Oct 202124/10/21 a las 22:16 hrs.2021-10-24 22:16:24

Stefan Malewski

Control 3: Sumas, productos y propositions-as-types. 21 Oct 202121/10/21 a las 21:17 hrs.2021-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 a las 15:11 hrs.2021-10-20 15:11:20

Stefan Malewski

20211015 - aux.mp4 19 Oct 202119/10/21 a las 20:20 hrs.2021-10-19 20:20:19

Stefan Malewski

20211018 - null.mp4 18 Oct 202118/10/21 a las 16:40 hrs.2021-10-18 16:40:18

Stefan Malewski

20211018 - apuntes.pdf 18 Oct 202118/10/21 a las 16:37 hrs.2021-10-18 16:37:18

Stefan Malewski