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.