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 [2011/11/21 14:10] – [Courses] jfabryteaching [2021/08/12 18:56] (current) – etanter
Line 1: Line 1:
 +~~NOTOC~~
  
 +===== Courses =====
 +  * [[teaching:cc4101|Programming Languages (CC4101)]]
 +  * [[https://users.dcc.uchile.cl/~etanter/CC5116/|Compiler Design and Implementation (CC5116)]]
 +  * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]  
 +  * [[teaching:cc7110|Programming Languages II (CC7110)]]
 +  * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]
 +  * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]
 +  * [[teaching:CC5115|Programación Funcional (CC5115)]]