Differences

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

--- teaching:cc7110:2021:presentaciones [2021/11/29 16:21] – [Lenguajes Específicos y sus formalizaciones] smalewski
+++ teaching:cc7110:2021:presentaciones [2021/12/23 15:26] (current) – [CC7110 - Workshop Final] smalewski
@@ Line 1: / Line 1: @@
 ====== CC7110 - Workshop Final  ======
 ===Workshop===
   * el día 23 de Diciembre, se organizará un seminario donde todos tienen que participar.
   * horarios:
-      * Bloque 1: 10h-12h30
+      * Bloque 1 [10h-12h30]
+        * Enzo: Rust ([[https://drive.google.com/file/d/144_uDbXPxJPnQLogY7S5ZiI2oWFUzXDQ/view?usp=drive_web|video]])
+        * José: Ownership Types
+        * Andrés: Linear Types
+        * Cristián: Liquid Types ([[https://drive.google.com/file/d/1uFlfgIG2Hp52sFsOx6BKjAOnW0kyK-AP/view?usp=sharing|slides]])
+        * Gaspar: Types and effects
       * almuerzo juntos con los que quieren
-      * Bloque 2: 14h00-16h30
+      * Bloque 2 [14h00-16h30]
+        * Tomás V: Implicits 1 ([[https://docs.google.com/presentation/d/17llqaj5WkTHA15CWpULB7elJwDgCjqXk/edit?usp=sharing&ouid=100382086267036499345&rtpof=true&sd=true|slides]])
+        * Tomás D: Implicits 2
+        * Stefano: Gradual Types ([[https://drive.google.com/file/d/1V05KF6RC5c2u-xn1Y3jHYQ1RT80tQzmw/view?usp=sharing|slides]])
+        * Francisco: Gradual Security Typing ([[https://drive.google.com/file/d/1ujFNc8O8N7hKnHC5P2DEIyZiA5ByMPX6/view?usp=sharing|slides]])
 ===Presentaciones===
@@ Line 18: / Line 29: @@
 ===Evaluación===
   * se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%)
 ----
@@ Line 95: / Line 105: @@
     * The implicit calculus: a new foundation for generic programming: https://dl.acm.org/doi/10.1145/2345156.2254070
+    * Simplicitly: Foundations and Applications of Implicit Function Types: https://dl.acm.org/doi/pdf/10.1145/3158130
 ===Variational programming===