Differences

This shows you the differences between two versions of the page.

--- teaching:cc7110:2019:presentaciones [2019/06/12 17:47] – etanter
+++ teaching:cc7110:2019:presentaciones [2019/06/12 17:49] (current) – etanter
@@ Line 46: / Line 46: @@
 ===WebAssembly (Darío)===
-WebAssembly es un lenguaje bytecode de bajo nivel y portable. Fue diseñado inicialmente para reemplazar Javascript en los navegadores web, pero ahora puede ser usado en cualquier otro contexto. WebAssembly está pensado para ser el posible objetivo de compilación de lenguajes de alto nivel como C (++) o Rust.
+WebAssembly es un lenguaje bytecode de bajo nivel y portable. Fue diseñado inicialmente para reemplazar Javascript en los navegadores web, pero ahora puede ser usado en cualquier otro contexto. WebAssembly está pensado para ser el posible objetivo de compilación de lenguajes de alto nivel como C o Rust.
     * Formal overview: https://dl.acm.org/citation.cfm?id=3062363
@@ Line 57: / Line 57: @@
     * Paper original (Gradual Typing for FP): [[https://pdfs.semanticscholar.org/b7ca/4b0e6d3119aa341af73964dbe38d341061dd.pdf|pdf]]
+    * blog post de Siek: https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/
     * Gradual Typing for Objects: [[https://www.researchgate.net/publication/225612648_Gradual_Typing_for_Objects|pdf]]
     * Abstracting Gradual Typing: [[http://pleiad.dcc.uchile.cl/papers/2016/garciaAl-popl2016.pdf|pdf]]