Documentación para "Informática" (2012-13)

En esta página se recogen en enlaces que sirven de documentación a la asignatura de "Informática" del curso 2012-13.

Programación funcional con Haskell

Vídeos

• J.A. Alonso Iniciación a Haskell.
• J.A. Alonso Ejercicios de I1M.

Manuales de referencia de Haskell

• J.A. Alonso Resumen de funciones de Haskell
• Justin Bailey Guía rápida de Haskell
• Haskell Reference card
• Bernie Pope y Arjan van IJzendoorn A Tour of the Haskell Prelude (basic functions)
• Arjan van IJzendoorn Tour of the Haskell Syntax.
• Miloslav Nic Haskell Reference.
• Prelude.
• Haskell Hierarchical Libraries.

Especificaciones de Haskell

• Haskell 98 Language and Libraries (The Revised Report) de diciembre de 2002.
• Haskell 2010 Language Report

Buscador de funciones de Haskell

• Hoogle

Libros y apuntes en la Red sobre Haskell

• R. Bird Introducción a la programación funcional con Haskell (Pearson Educación, 2000).
• H.C. Cunningham Notes on Functional Programming with Haskell.
• Hal Daume III et al. Yet Another Haskell Tutorial.
• A.J.T. Davie An introduction to functional programming systems using Haskell. (Cambridge University Press, 1992).
• K. Doets y J. van Eijck The Haskell Road to Logic, Maths and Programming
• J. Fokker Programación funcional.
• G. Hutton Programming in Haskell (Cambridge University Press, 2007).
• J. Gallardo, P. Gutiérrez y B. Ruiz Una introducción agradable a Haskell versión 98 (es una traducción de P. Hudak, J. Peterson y J. Fasel A Gentle Introduction to Haskell, Version 98).
• M. Lipovača ¡Aprende Haskell por el bien de todos!
• B. O'Sullivan, J. Goerzen y D. Stewart Real World Haskell. (O'Reilly Media, Inc., 2008).
• The Haskell wikibook.

Ejercicios de Haskell

• H-99: Ninety-Nine Haskell Problems.
• Haskell Quiz

Cursos sobre programación funcional con Haskell

Cursos en castellano

• J.A. Alonso Programación declarativa (2008-09)
• J.E. Gallardo Programación Declarativa - Haskell

Cursos en inglés

• G. Hutton Functional Programming
• T. Nipkow Informatik 2: Functional Programming.
• P. Wadler Informatics 1 – Functional Programming

Cálculo simbólico

• J.A. Alonso Resumen de funciones de Maxima.
• J. Arántegui Introducción a Maxima.
• R. Rodríguez Maxima con wxMaxima: software libre en el aula de matemáticas.
• M. Rodríguez Maxima: una herramienta de cálculo.
• M. Rodríguez Primeros pasos en Maxima.

[ Inicial | Temas | Ejercicios | Documentación | Sistemas | Exámenes ]