Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
teaching:cc7110:2021:presentaciones [2021/12/23 14:57] – [CC7110 - Workshop Final] smalewski | teaching:cc7110:2021:presentaciones [2021/12/23 15:26] (current) – [CC7110 - Workshop Final] smalewski | ||
---|---|---|---|
Line 13: | Line 13: | ||
* almuerzo juntos con los que quieren | * almuerzo juntos con los que quieren | ||
* Bloque 2 [14h00-16h30] | * Bloque 2 [14h00-16h30] | ||
- | * Tomás V: Implicits 1 | + | * Tomás V: Implicits 1 ([[https:// |
* Tomás D: Implicits 2 | * Tomás D: Implicits 2 | ||
- | * Stefano: Gradual Types ([[https:// | + | * Stefano: Gradual Types ([[https:// |
* Francisco: Gradual Security Typing ([[https:// | * Francisco: Gradual Security Typing ([[https:// | ||