Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching [2013/05/03 18:25]
etanter
teaching [2021/08/12 18:56] (current)
etanter
Line 2: Line 2:
  
 ===== Courses ===== ===== Courses =====
- +  * [[teaching:cc4101|Programming Languages (CC4101)]] 
-  * [[teaching:cc4101|Programming Languages (CC4101/CC54A)]] +  * [[https://users.dcc.uchile.cl/~etanter/CC5116/|Compiler Design and Implementation (CC5116)]] 
-  * [[teaching:cc5104|Programming Languages II (CC5104/CC71Y)]] +  * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]   
-  * [[teaching:CC71P|Objects and Aspects (CC71P | CC6101)]] +  * [[teaching:cc7110|Programming Languages II (CC7110)]] 
-  * [[https://wiki.dcc.uchile.cl/TallerMindstorms/doku.php|Taller de Proyecto Lego Mindstorms]]  +  * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]] 
-  * [[teaching:CC4301Arquitectura de Computadores (CC4301)]] ex. Introducción al Hardware (CC41C) +  * [[teaching:CC7126|Análisis Verificación de Programas (CC7126)]] 
-  * [[teaching:cc68s|Software Quality and Software Evolution (CC68S)]] +  * [[teaching:CC5115|Programación Funcional (CC5115)]]
-  * [[teaching:cc3002|Programming Methodology (CC3002)]] +
-  * [[teaching:cc6403|Seminario Calidad Evolución de Software (CC6403)]] +
-  * [[teaching:cc5111|Programación Avanzada en Scala (CC5111/CC74A)]]+