Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| teaching:cc7110 [2019/06/07 16:07] – mtoro | teaching:cc7110 [2019/06/07 16:10] – mtoro | ||
|---|---|---|---|
| Line 72: | Line 72: | ||
| + | |||
| + | ** Temas de presentación ** | ||
| ====Type systems ==== | ====Type systems ==== | ||
| Line 116: | Line 118: | ||
| Los lenguajes con tipos dependientes son lenguajes donde se permite ahora que los tipos dependan de términos del mismo lenguaje. | Los lenguajes con tipos dependientes son lenguajes donde se permite ahora que los tipos dependan de términos del mismo lenguaje. | ||
| - | * Advanced Topics in Types and Programming Languages | + | |
| - | * Dependant Types chapter | + | * Dependant Types chapter |
| - | * pages 45 - 86 | + | * pages 45 - 86 |
| - | | + | |
| * Dependent ML: www.cs.bu.edu/ | * Dependent ML: www.cs.bu.edu/ | ||
| * Coq o F* (ver más abajo) | * Coq o F* (ver más abajo) | ||