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
Last revisionBoth sides next revision
teaching:cc71y:2014-2 [2014/10/27 19:51] – etanterteaching:cc71y:2014-2 [2014/11/19 19:41] – etanter
Line 14: Line 14:
 | M 27 Ago |repaso control 1 ||| | M 27 Ago |repaso control 1 |||
 |          |fin lambda calculo |SEwPR Cap 3 || |          |fin lambda calculo |SEwPR Cap 3 ||
-| L 1 / M 3 Sep  |//profe en [[http://icfpconference.org/icfp2014/|conferencia]] -- no hay clase//||+| 1/3 Sep  |//profe en [[http://icfpconference.org/icfp2014/|conferencia]] -- no hay clase//||
 | | **tarea**: estudiar el capitulo 3 hasta 3.7 incluido, experimentando con Redex|| | | **tarea**: estudiar el capitulo 3 hasta 3.7 incluido, experimentando con Redex||
 | L 8 Sep |ISWIM  |SEwPR Cap 4|| | L 8 Sep |ISWIM  |SEwPR Cap 4||
 | L 10 Sep |ISWIM: reducción estándar |SEwPR Cap 5|| | L 10 Sep |ISWIM: reducción estándar |SEwPR Cap 5||
-| L 15 / M 17 Sep  |//vacaciones fiestas patrias//||+| 15/17 Sep  |//vacaciones fiestas patrias//||
 | L 22 Sep |Errores |SEwPR Cap 8.1-8.2|| | L 22 Sep |Errores |SEwPR Cap 8.1-8.2||
 | M 24 Sep |Excepciones y continuaciones |SEwPR Cap 8.3-8.5|{{http://users.dcc.uchile.cl/~etanter/courses/cc71y/tarea2.html|Tarea 2}}| | M 24 Sep |Excepciones y continuaciones |SEwPR Cap 8.3-8.5|{{http://users.dcc.uchile.cl/~etanter/courses/cc71y/tarea2.html|Tarea 2}}|
Line 30: Line 30:
 |          | | |{{teaching:cc71y:control3a.pdf|control 3a}}| |          | | |{{teaching:cc71y:control3a.pdf|control 3a}}|
 | L 13 Oct  |Extensiones simples |TAPL 11.1-11.8|{{teaching:cc71y:extensions.pdf}}| | L 13 Oct  |Extensiones simples |TAPL 11.1-11.8|{{teaching:cc71y:extensions.pdf}}|
-| M 15 Oct  |Tipos universales|TAPL 23.1-23.3|{{teaching:cc71y:universals.pdf}}| +| M 15 Oct  |Tipos universales|TAPL 23 |{{teaching:cc71y:universals.pdf}}| 
-| L 20 / M 22 Oct  |//profe en [[http://2014.splashcon.org/home|conferencia]] -- no hay clase//||| +| 20/22 Oct  |//profe en [[http://2014.splashcon.org/home|conferencia]] -- no hay clase//||| 
-| L 27 Oct  |Tipos universales: ejemplos, parametricidad|TAPL 23 |{{teaching:cc71y:universals.pdf}} || +| L 27 Oct  |Tipos existenciales |TAPL 24 |{{teaching:cc71y:existentials.pdf}} ||
-|           |Tipos existenciales |TAPL 24 |{{teaching:cc71y:existentials.pdf}} ||+
 |           |//Trailer:// subtipos |TAPL 15 |{{teaching:cc71y:subtyping.pdf}} || |           |//Trailer:// subtipos |TAPL 15 |{{teaching:cc71y:subtyping.pdf}} ||
-| M 29 Oct  |||| +| M 29 Oct  |Tipos graduales |{{teaching:cc71y:gradual.pdf}}|{{teaching:cc71y:siek-gradual.pdf}}| 
-| L 3 Nov  |||| +| L 3 Nov  |Lógica proposicional y deducción natural|{{teaching:cc71y:natded.pdf}}|| 
-| M 5 Nov  |||| +|          |Curry-Howard: proposiciones como tipos|{{teaching:cc71y:pap.pdf}}|{{teaching:cc71y:wadler-pat.pdf}}| 
-| L 10 Nov  |||| +| M 5 Nov  |[[http://en.wikipedia.org/wiki/Lambda_cube|Lambda-cube]]||| 
-| M 12 Nov  |||| +|          |Intro a Coq||{{teaching:cc71y:Vectors.v}}| 
-| L 17 Nov  |||| +| 10/12 Nov  |//estudio personal: capítulos Basics, Induction, Lists, Poly, Logic del [[http://www.cis.upenn.edu/~bcpierce/sf/current/index.html|Software Foundations]] //||| 
-| M 19 Nov  |||| +| L 17 Nov  |Interprete de expresiones y máquina de stack en Coq|CPDT 2.1|{{teaching:cc71y:CC71-1.v}}| 
 +| M 19 Nov  |Compilador y demostración de correctitud|CPDT 2.1|{{teaching:cc71y:CC71-2.v}}| 
 +| M 3 Dec | Mini-conferencia Lenguajes II |||