Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
teaching:cc71y:2014-2 [2014/11/19 19:40] – etanter | teaching:cc71y:2014-2 [2014/11/19 19:41] – etanter | ||
---|---|---|---|
Line 42: | Line 42: | ||
| L 17 Nov |Interprete de expresiones y máquina de stack en Coq|CPDT 2.1|{{teaching: | | L 17 Nov |Interprete de expresiones y máquina de stack en Coq|CPDT 2.1|{{teaching: | ||
| M 19 Nov |Compilador y demostración de correctitud|CPDT 2.1|{{teaching: | | M 19 Nov |Compilador y demostración de correctitud|CPDT 2.1|{{teaching: | ||
+ | | M 3 Dec | Mini-conferencia Lenguajes II ||| | ||