Destacamos aquí algunos recursos disponibles en la Web sobre programación funcional, en particular para Haskell y Scheme, orientado en nuestro contexto, a matemáticas constructivas. Esperamos le sean de utilidad e interés.

(Actualizado: 2010.09.01)

[1] Matemáticas y Programación

• Backhouse, R. (2001). Mathematics and Programming: A Revolution in the Art of Effective Reasoning. [acc. 2009.06.18]
• Bertot, Y. (2005). Introduction to Co-Induction in Coq. [acc. 2010.02.06]
• Burton, B. A. (2007) Informatics olympiads: Approaching mathematics throught code. [acc. 2009.10.30]
• Coquant, T. (2008) Constructive Mathematics and Functional Programming. [acc. 2010.02.06]

[H] Haskell

• Haskell.org (Sitio principal de la comunidad Haskell, aquí puede  “bajar” la excelente Plataforma Haskell) [acc. 2010.06.10]
• Lipovaca, Miran [2010] Learn You a Haskell for Great Good!. Slovenia [acc. 2010.09.01]
  

[S] Scheme

—> Cursos y sitios educacionales

• Bootstrap: un proyecto de programación basado en Scheme para estudiantes de nivel secundaria y preparatoria. Un proyecto iniciado por Emmanuel Schanzer [acc. 2009.08.27]
• ♦CS 32: Puzzles, Games & Algorithms. Curso en Vermont University: Profesor Robert S. Snapp. [acc. 2009.11.06]
• ♦LPP: Lenguajes y Paradigmas de Programación. Curso en la Universidad de Alicante (Depto. CCIA) España. Profesor-Coordinador Domingo Gallardo. [acc. 2009.11.13]
• Teach Scheme. Proyecto para promover el uso de Scheme en educación, especialmente como primer lenguaje de programación (visitar: desarrolladores). Se le invita también a visitar la lista de escuelas que enseñan Scheme. [acc. 2009.06.18]
• [YP] Holly Yanko y John Pezaris (instructores). “Structure and Interpretation of Computer Programs“. Incluye notas y videos. ArsDigita University. 2007. [acc. 2008.09.04]

—> Implementaciones selectas

• Meta. (Variante) Este lenguaje de programación estilo-lisp provee muy buena integración con .NET e incorpora “librerías” para gráficas basadas en vectores. [acc. 2008.10.03]
• ♦Petit Chez Scheme. Versión gratuita de la implementación comercial Chez Scheme. [acc. 2010.03.22] (versión de mayor preferencia desde 2010.06.10)
• PLT Scheme. Una de las implementaciones de Scheme más exitosas, desarrollado por el Programming Languages Team, con sede en Rice University. [acc. 2008.09.04]
• SISC. Second Interpreter of Scheme Code (revisar versión online) [acc. 2010.01.27]

—> Libros y tutoriales

• Abelson , Harold; Gerald Jay Sussman con Julie Sussman. “Structure and Interpretation of Computer Programs“. 2da. Edición. MIT. (se le invita también a visitar la la versión en HTML y otros recursos de MIT Press) [acc. 2008.09.04]
• Comer, E. (2004) Interacciones Algorítmicas con Scheme (edición experimental) [acc. 2010.01.12]
• Dybvig, R. Kent. “The Scheme Programming Language” (3/e). MIT Press, 2003 [acc. 2008.09.08]
• Harvey, Brian (1999) Simply Scheme (2/e). MIT [acc. 2009.10.20]
• Oram, A., Wilson, G. (2007) [BG] Beautiful Code. O´Reilly [acc. 2010.01.27]
• Simionato, M. (2006). The Adventures of a Pythonista in Schemeland: Table of Contents. Artima [acc. 2009.06.05]
• Sitaram, Dorai. “Teach yourself Scheme in fixnum days“, 2004 (disponible también en PDF) [acc. 2008.09.08]
• Sussman, G. J., Wisdom, J. (2001) Structure and Interpretation of Classical Mechanics. MIT Press. (Curso 6.946J) [acc. 2009.06.18]

—> Artículos, talleres, et al.

• Bieniusa, A., et al. (2008) HtDP and DMdA in the Battlefield: A Case Study in First-year Programming Instruction. FDPE’08, ACM [acc. 2009.07.02]
• Scheme and functional programming workshops: incluye acceso a los papers presentados anualmente. [acc. 2008.09.08]
• [K] Shriram Krishnamurthi. “Automata via Macros” (educational pearl) J. Functional Programming, 2006. {se le invita también a visitar la plática de Shiram The Swine Before Pearl} [acc. 2008.09.08]

—> Aplicaciones selectas (sistemas y artículos técnicos)

• Freksa, C., et al., Editors (2007) DiaWOz-II: A Tool for Wizard-of-Oz Experiments in Mathematics. En pp. 159-173 de KI2006: Advances in Artificial Intelligence (LNAI 4314). Springer (desde Books.Google) Nota: ver también: Benzmuller, C., et al. (2008) Resource-bounded Modelling and Analysis of Human-level Interactive Proofs [acc. 2009.06.30]
• DrGeo: Software de geometría interactiva, orientado a primaria y secundaria (para Linux). Cortesía de OFSET: The Organization for Free Software in Education and Teaching. [acc. 2008.09.26]
• Fluxus: un ambiente para prototipado rápido de aplicaciones 3D y juegos (para Linux) Se le invita a explorar: Fluxus Secrets (videos: uno | dos | tres ) [acc. 2008.09.08]
• [FD] Mark Feeley, Danny Dubé. “PICBIT: A Scheme System for PIC Microcontroller“. Fourth Workshop on Scheme and Functional Programming. 2003 [acc. 2008.10.03]
• Impromptu: “Un ambiente de programación OSX (basado en Scheme) para compositores, artistas de sonido, VJ’s, o gráficos, con un interés en programación interactiva o en vivo”. Se le invita a visitar el tutorial Impromptu 101.
  
• [LX] Christopher Lee, Yangsheng Xu. “Message-based evaluation for high-level robot control“. (ver Journal of Intelligent and Robotic Systems) 2004 [acc. 2008.10.03]
• Serrano, M (2007) Programming Web Multimedia Applications with Hop. MM’07. Nota: Sistema ganador del Open Source Competition en la ACM Multimedia 2007. Se le invita a explorar también el video en youTube: Hop: A Language for Programming the Web 2.0 (2009) [acc. 2009.07.09]

—> Novedades et al.

• Blog en PLT Scheme: Blog oficial del innovador lenguaje de programación PLT Scheme
• PLANET SCHEME: un meta blog, que integra blogs sobre Scheme [acc. 2008.12.02]
• Schemers.org: un sitio con gran variedad de referencias sobre Scheme [acc. 2008.09.04].