Material Teórico

• clase1.ppt Evolución de la programación funcional
• clase2.ppt Variaciones sobre un evaluador de expresiones
• clase3.ppt Un evaluador monádico
• clase4.ppt Samba: un (mini) lenguaje funcional y perezoso
• clase5.ppt Combinadores de parsing
• BNF ejemplo
• Lexer
• Parser no monádico
• Parser monádico
• clase6.ppt Tipos inductivos y pattern matching
• clase7.ppt Compilación eficiente de pattern matching
• clase8.ppt Chequeo e inferencia de tipos
• clase9.ppt Derivando un algoritmo de inferencia de tipos
• clase10.ppt Reducción de grafos
• clase11.ppt Supercombinadores y lambda-lifting
• clase12.ppt Combinadores SK
• clase13.ppt La máquina G
• clase14.ppt Compilación, pereza y expresiones let(rec)
• clase15.ppt Agregando primitivas
• clase16.ppt Agregando estructuras de datos
• clase17.ppt Las máquinas TIM y Spineless Tagless G