Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| teaching:cc7110:2023:presentaciones [2023/12/01 09:09] – [Lenguajes Específicos y sus formalizaciones] smalewski | teaching:cc7110:2023:presentaciones [2023/12/18 15:39] – [CC7110 - Presentaciones finales] smalewski | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| ===Workshop=== | ===Workshop=== | ||
| * el día 21 de Diciembre, se organizará un seminario donde todos tienen que participar. | * el día 21 de Diciembre, se organizará un seminario donde todos tienen que participar. | ||
| - | * horarios: | + | * horarios: |
| + | |||
| + | ===Programa=== | ||
| + | |||
| + | * 14:00-14:30 - Web Assembly - Ismael Correa | ||
| + | * 14:30-15:00 - Rust - Cristian Carrión | ||
| + | * 15:00-15:30 - Types and Effects - Francisco Galdames | ||
| + | * 15:30-16:00 - Gradual Types - David Ibáñez | ||
| + | * 16:00-16:30 - Implicits - Fabián Díanz | ||
| ===Presentaciones=== | ===Presentaciones=== | ||