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:cc71y:2014-2 [2014/10/27 19:56] – etanterteaching:cc71y:2014-2 [2014/11/19 20:05] (current) – 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 ||
-| 1 / 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||
-| 15 / 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 31: Line 31:
 | 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 |{{teaching:cc71y:universals.pdf}}| | M 15 Oct  |Tipos universales|TAPL 23 |{{teaching:cc71y:universals.pdf}}|
-| 20 / 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 existenciales |TAPL 24 |{{teaching:cc71y:existentials.pdf}} || | L 27 Oct  |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 | [[teaching:cc71y:2014-2:miniconf|Mini-conferencia]] |||