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:2023:presentaciones [2023/12/01 13:09] – [Lenguajes Específicos y sus formalizaciones] smalewskiteaching:cc7110:2023:presentaciones [2023/12/21 19:16] (current) – etanter
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: A definir+  * horarios: De 14:00 a 16:30 
 +  * lugar: Auditorio Picarte (DCC, 3er piso norte) 
 + 
 +===Programa=== 
 + 
 +  * 14:00-14:30 - Rust - Cristian Carrión 
 +  * 14:30-15:00 - Types and Effects - Francisco Galdames 
 +  * 15:00-15:30 - Gradual Types - David Ibáñez 
 +  * 15:30-16:00 - Implicits - Fabián Díaz 
 +  * 16:00-16:30 - Web Assembly - Ismael Correa
  
 ===Presentaciones=== ===Presentaciones===
Line 114: Line 123:
  * https://www.rust-lang.org/  * https://www.rust-lang.org/
  * https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf  * https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf
-        * Oxide: https://arxiv.org/abs/1903.00982 + * Oxide: https://arxiv.org/abs/1903.00982 
-        * Otro formalismo: https://dl.acm.org/doi/abs/10.1145/3443420 + * Otro formalismo: https://dl.acm.org/doi/abs/10.1145/3443420 
-        * Stacked Borrows: https://plv.mpi-sws.org/rustbelt/stacked-borrows/ + * Stacked Borrows: https://plv.mpi-sws.org/rustbelt/stacked-borrows/ 
-        * GhostCell: https://plv.mpi-sws.org/rustbelt/ghostcell/+ * GhostCell: https://plv.mpi-sws.org/rustbelt/ghostcell/