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:09] – [Type systems] 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) |