Parte del material empleado en este curso ha sido cedido por miembros del grupo ELP de la Universidad Politécnica de Valencia (especialmente por María Alpuente, en lo referente al Tema 1, y por Salvador Lucas, en lo referente al Tema 3), lo que agradezco públicamente. Si bien la reelaboración de estos apuntes y los posibles errores introducidos son responsabilidad del autor de esta nota.
- Introducción. (Transparencias)
- Sistemas ecuacionales. (Transparencias)
- Sistemas de reescritura. (Transparencias)
- Narrowing, estrategias de narrowing y residuación. (Transparencias)
- Taxonomía de las técnicas de implementación.(Transparencias)
- Curry: Un ejemplo de lenguaje integrado. (Link_1) (Link_2: Programming with Narrowing )