Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
teaching:cc7110:presentaciones [2025/10/28 23:13] – etanterteaching:cc7110:presentaciones [2025/10/28 23:13] (current) – etanter
Line 13: Line 13:
 **Les recordamos que pueden proponer cualquier tema que les parezca interesante (con un (par de) paper(s) de referencia).** Por ejemplo, en una versión anterior del curso surgió esto de [[https://people.mpi-sws.org/~rossberg/papers/Neis,%20Dreyer,%20Rossberg%20-%20Non-Parametric%20Parametricity.pdf|Non-parametric parametricity]]. Siéntanse libres de explorar y conversarlo con nosotros! **Les recordamos que pueden proponer cualquier tema que les parezca interesante (con un (par de) paper(s) de referencia).** Por ejemplo, en una versión anterior del curso surgió esto de [[https://people.mpi-sws.org/~rossberg/papers/Neis,%20Dreyer,%20Rossberg%20-%20Non-Parametric%20Parametricity.pdf|Non-parametric parametricity]]. Siéntanse libres de explorar y conversarlo con nosotros!
  
-Pueden optar por presentar cualquier capítulo del libro PFPL (Harper) o TAPL (Pierce)+**Pueden optar por presentar cualquier capítulo del libro PFPL (Harper) o TAPL (Pierce)**
  
 ====== Type Systems ====== ====== Type Systems ======