Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
teaching:cc7110:2019:presentaciones [2019/06/12 17:48] – etanter | teaching:cc7110:2019:presentaciones [2019/06/12 17:49] (current) – etanter | ||
---|---|---|---|
Line 57: | Line 57: | ||
* Paper original (Gradual Typing for FP): [[https:// | * Paper original (Gradual Typing for FP): [[https:// | ||
+ | * blog post de Siek: https:// | ||
* Gradual Typing for Objects: [[https:// | * Gradual Typing for Objects: [[https:// | ||
* Abstracting Gradual Typing: [[http:// | * Abstracting Gradual Typing: [[http:// |