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
Next revisionBoth sides next revision
teaching:cc7110:2023:presentaciones [2023/12/01 09:09] – [Lenguajes Específicos y sus formalizaciones] smalewskiteaching: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: A definir+  * horarios: De 14:00 a 16:30 
 + 
 +===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===
Line 114: Line 122:
  * 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/