Cuantificación sobre Tipos
Durante la sesión de hoy se estudiarán algunas extensiones relacionadas con la cuantificación universal explícita, y las capacidades de esto en relación con el Sistema F visto como extensión al Cálculo Lambda mediante el segundo orden.
Material
Durante la sesión utilicé un Notebook de Jupyter para escribir y compilar el contenido de Haskell.
Puedes descargar el notebook para ejecutarlo en tu propia instancia de iHaskell en el siguiente enlace: Sesion9.ipynb.
O puedes visualizar el material con los resultados ya ejecutados en: Notebook en Línea