Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc7110:presentaciones [2025/10/28 23:11] – etanterteaching:cc7110:presentaciones [2025/10/28 23:13] (current) – etanter
Line 1: Line 1:
 +====== CC7110 - Presentaciones finales  ======
 +
 +
 ====== Temas sugeridos de presentación  ====== ====== Temas sugeridos de presentación  ======
  
Line 9: Line 12:
  
 **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)**
  
 ====== Type Systems ====== ====== Type Systems ======