Links

Sitio web de cuatrimestres anteriores

• 2008 - Primer cuatrimestre
• 2007 - Segundo cuatrimestre
• 2007 - Primer cuatrimestre
• 2006 - Segundo cuatrimestre
• 2006 - Primer cuatrimestre
• 2005 - Segundo cuatrimestre

Software

• Haskell - Hugs 98. De acá se puede bajar gratuitamente el instalador del lenguaje Haskell.
• SWI-Prolog's Home. Sitio del intérprete SWI-Prolog. En la sección "Download" de ese sitio hay instaladores para varias plataformas.
• VisualWorks 7.6. Registrarse con username=paradigmas, password=paradigmas o bajar sin registrarse. Sólo son obligatorios los pasos de instalación 1 y 2. Se recomienda también bajar Cincom Goodies.

Apuntes y papers

Sistemas de tipos

• Type Systems Capítulo del CRC Handbook of Computer Science and Engineering, 2nd Edition. Luca Cardelli.

Programación orientada a objetos

• Apunte - ¿Por qué objetos? [zip (17 KB)]

Programación funcional

• A Gentle Introduction to Haskell. Documentación del uso de Haskell.
• Apunte - "Introducción a la Programación Funcional" [zip (417 KB)]

Programación lógica

• Algoritmo de unificación de Robinson [zip (103 KB)]

Otras cosas

• PLT Online. Papers teóricos sobre lenguajes de programación.
• Sugerencias de Hoare sobre como definir un lenguaje [zip (342 KB)]