https://github.com/jaalonso/cursos_de_pf_con_haskell

Recopilación de cursos de programación funcional con Haskell.
https://github.com/jaalonso/cursos_de_pf_con_haskell

functional-programming haskell haskell-learning

Last synced: 3 months ago
JSON representation

Recopilación de cursos de programación funcional con Haskell.

Host: GitHub
URL: https://github.com/jaalonso/cursos_de_pf_con_haskell
Owner: jaalonso
License: gpl-3.0
Created: 2018-12-04T15:48:36.000Z (almost 7 years ago)
Default Branch: master
Last Pushed: 2022-06-24T08:23:45.000Z (over 3 years ago)
Last Synced: 2025-02-01T17:13:30.823Z (10 months ago)
Topics: functional-programming, haskell, haskell-learning
Homepage:
Size: 15.6 KB
Stars: 2
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.org
- License: LICENSE

Awesome Lists containing this project

README

          #+TITLE:   Cursos de programación funcional con Haskell

#+AUTHOR:  José A. Alonso

#+DATE:    26 de mayo de 2016

#+OPTIONS: H:2 num:t

 

En esta página se recopilan cursos de programación funcional con Haskell que

sirven de referencia al curso de [[http://www.cs.us.es/~jalonso/cursos/i1m][Informática de primero del Grado en

Matemáticas]] de la Universidad de Sevilla.

Está ordenada por países y universidades.

* Alemania

** Universidad de Darmouth

+ [[http://www.cs.dartmouth.edu/~cs8/F2011][Problem solving with computer science]]. ~ S. Drysdale

** Universidad técnica de Munich (TUM)

+ [[http://wwwnipkow.in.tum.de/teaching/info2/WS1213/slides.pdf][Informatik 2: Functional programming]]. ~ T. Nipkow.

* Argentina

** Universidad de Buenos Aires

+ [[http://www.dc.uba.ar/materias/plp/2014/cuat1/descargas/apuntes/index.html][Paradigmas de lenguajes de programación]]. ~ [[https://sites.google.com/site/eabonelli][E. Bonelli]] y [[http://www.dc.uba.ar/rrhh/profesores/rios][A. Ríos]].

* Australia

** NICTA

+ [[https://github.com/NICTA/course][Functional programming course]]. ~ T. Morris y M. Hibberd.

* España

** Universidad de Málaga

+ [[http://www.lcc.uma.es/~pepeg/declarativa/index.html][Programación declarativa]]. ~ J.E. Gallardo.

** Universidad de Sevilla

+ [[http://www.cs.us.es/~jalonso/cursos/pd-08][Programación declarativa]]. ~ J.A. Alonso.

* Estados Unidos

** Bryn Mawr College

+ [[http://cs.brynmawr.edu/~rae/courses/17spring380/index.html][Modern functional programming]]. ~ [[http://cs.brynmawr.edu/~rae/][R.A. Eisenberg]]

** Universidad de Chicago

+ [[http://cmsc-16100.cs.uchicago.edu/2016/][Honors introduction to programming, I (2016)]]  ~ [[http://people.cs.uchicago.edu/~rchugh/][R. Chugh]] y  [[http://people.cs.uchicago.edu/~stuart/][S.A. Kurtz]]

+ [[http://cmsc-16100.cs.uchicago.edu/2017/][Honors introduction to programming, I (2017)]]  ~ [[http://people.cs.uchicago.edu/~rchugh/][R. Chugh]] y  [[http://people.cs.uchicago.edu/~stuart/][S.A. Kurtz]]

+ [[http://cmsc-22311.cs.uchicago.edu/2015/][Functional systems in Haskell]]. ~ [[http://people.cs.uchicago.edu/~stuart/][S.A. Kurtz]]

** Universidad de Mississippi

+ [[https://john.cs.olemiss.edu/~hcc/csci450/csci450.html][Fundamental concepts in languages]]. ~ [[https://john.cs.olemiss.edu/~hcc/HOME_hcc.html][C. Cunningham]]

** Universidad de Pensilvania

+ [[http://www.seas.upenn.edu/~cis552/13fa/][Advanced programming]]. ~ [[http://www.seas.upenn.edu/~sweirich][S. Weirich]].

+ [[http://cis.upenn.edu/~cis194/fall14/spring13/][Introduction to Haskell (Spring 2013)]]. ~ B. Yorgey.

+ [[http://www.cis.upenn.edu/~cis194/fall14/][Introduction to Haskell (Fall 2014)]]. ~ [[http://www.cis.upenn.edu/~eir/][R. Eisenberg]].

+ [[http://www.cis.upenn.edu/~cis194/fall16/][Introduction to Haskell (Fall 2016)]]. ~ [[http://www.cis.upenn.edu/~joachim/][J. Breitner]].

+ [[http://ozark.hendrix.edu/~yorgey/360/f16/][Programming languages (Fall 2016)]]. ~ B. Yorgey

** Universidad de Princeton

+ [[https://www.cs.princeton.edu/~dpw/cos441-11/index.html][Programming languages]]. ~ [[http://www.cs.princeton.edu/~dpw/][D. Walker]].

** Universidad de Siracusa

+ [[http://www.cis.syr.edu/~sueo/cis252/][Introduction to Computer Science]] ~ [[http://www.cis.syr.edu/~sueo/][Susan Older]]

** Universidad de Stanford

+ [[http://www.scs.stanford.edu/14sp-cs240h][Functional systems in Haskell]]. D. Mazières y B. O'Sullivan.

* Finlandia

** Universidad de Jyväskylä

+ [[http://functional-programming.it.jyu.fi/pages/Course.md][Introduction to functional programming]]. ~ [[http://users.jyu.fi/~sapekiis/index/index.html][S. Kiiskinen]].

+ [[http://functional-programming.it.jyu.fi/pages/Tasks2.md][Functional programming 2]]. ~ [[http://users.jyu.fi/~sapekiis/index/index.html][S. Kiiskinen]]

* Francia

** Universidad de Aix-Marsella

+ [[http://pageperso.lif.univ-mrs.fr/~luigi.santocanale//teaching/1314teaching/PF][Programmation fonctionnelle]]. ~ L. Santocanale

* India

** Chennai Mathematical Institute

+ [[https://www.cmi.ac.in/~spsuresh/teaching/prgh19/][Programming in Haskell (August – November 2019)]]. ~ [[https://www.cmi.ac.in/~spsuresh/index.html#home][S P Suresh]].

* Noruega

** Universidad Noruega de Ciencia y Tecnología (NTNU)

+ [[http://www.hg.schaathun.net/FPIA/][Functional programming and intelligent algorithms]]. ~ [[http://www.hg.schaathun.net/][Hans Georg Schaathun]]

* Países Bajos

** Universidad de Utrecht

+ [[http://foswiki.cs.uu.nl/foswiki/Afp/EducationPage][Advanced functional programming]]. ~ [[http://foswiki.cs.uu.nl/foswiki/Atze/WebHome][A. Dijkstra]] y [[http://www.staff.science.uu.nl/~swier004/][W. Swierstra]].

+ [[http://foswiki.cs.uu.nl/foswiki/Afp0405][Advanced functional programming]] (2005-06). ~ [[http://www.open.ou.nl/bhr/][B. Heeren]] y [[http://foswiki.cs.uu.nl/foswiki/Swierstra/WebHome][D. Swierstra]].

* Reino Unido

** Universidad de Edimburgo

+ [[https://www.inf.ed.ac.uk/teaching/courses/inf1/fp][Informatics 1: Functional programming]]. ~ D. Sannella

+ [[http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/][Informatics 1: Functional programming]]. ~ P. Wadler.

** Universidad de Nottingham

+ [[http://www.cs.nott.ac.uk/~gmh/fun.html][Functional programming]]. ~ G. Hutton

* Rusia

** Universidad ITMO (en San Petersburgo)

+ [[https://github.com/jagajaga/FP-Course-ITMO][Haskell ITMO course at CTD]]. ~ Dmitry Kovanikov, Arseniy Seroka.

* Suecia

** Univ. de Chalmers

+ [[http://www.cse.chalmers.se/edu/year/2010/course/TDA555][Introduction to functional programming]]. (2010-11). ~ K.L. Claessen.

+ [[http://www.cse.chalmers.se/edu/year/2011/course/TDA555/schedule.html][Introduction to functional programming]]. (2011-12). ~ K.L. Claessen.

  + Las soluciones de ejercicios están [[https://github.com/sjaxel/TDA555-Lab][aquí]].

+ [[http://www.cse.chalmers.se/edu/course/afp][Advanced functional programming]] (2015-16). ~ [[http://www.cse.chalmers.se/~patrikj][P. Jansson]].

  + El material del curso también está en [[https://github.com/patrikja/AFPcourse][GitHub]].

** Univ. de Mälardalen

+ [[http://www.idt.mdh.se/kurser/cd5100][Functional Programming]] ~ [[http://www.idt.mdh.se/~blr][Björn Lisper]]

* Uruguay

** Univ. de la República, Montevideo

+ [[https://www.fing.edu.uy/inco/cursos/pfa/wiki/field.php?n=Main.Cronograma][Programación funcional avanzada]]. ~ [[https://www.fing.edu.uy/~mviera/wiki/field.php?n=Main.Home][M. Viera]] y [[https://www.fing.edu.uy/~pardo/][A. Pardo]].

* Venezuela

** Univ. Simón Bolívar

+ [[http://ldc.usb.ve/~emhn/cursos/ci4251/][Programación funcional avanzada (2017)]]. ~ [[http://ldc.usb.ve/~emhn/][Ernesto Hernández-Novich]].

* Vídeos de Haskell

** Vídeo tutoriales de Haskell

+ [[http://bit.ly/1l7jLO9][Adventures in Haskell]]. ~ D. Silverstone

+ [[http://bit.ly/22ytFAK][Beginner Haskell exercises]]. ~ Mitchell Rosen

+ [[http://bit.ly/22yrNYC][Functional Programming Fundamentals]]. ~ E. Meijer

+ [[http://bit.ly/22ytOUM][Functional programming]]. ~ P. Wadler

+ [[http://bit.ly/22ys91x][Haskell amuse-bouche]]. ~ M. Lentczner

+ [[http://bit.ly/1mQacrD][Haskell course]]. ~ P. Wadler

+ [[http://bit.ly/1l7jfjd][Haskell from scratch]].

+ [[http://bit.ly/22yrInC][Haskell programming tutorial]]. ~ superlinux

+ [[http://bit.ly/22yrzR8][Haskell tutorial: Learn you a Haskell]]. ~ R. Krishna

+ [[http://bit.ly/1JRl0OO][Por qué deberías aprender programación funcional ya mismo]]. ~ A. Marzal.

+ [[http://bit.ly/22ytqW6][Programming in Haskell]]. ~ R. Abdullah

** Lista de vídeos de Haskell

+ [[http://bit.ly/22yt8yJ][Haskell graphics]]. ~ ungazik

+ [[http://bit.ly/1nNNm47][Lista de videos de Haskell en youtube]].

+ [[https://www.youtube.com/channel/UCHOBzbQLslZ_DLnNqgOD1CQ/playlists][Listas de Haskell Madrid]].

+ [[http://bit.ly/1mQaXkr][Popular Haskell videos]].

* Otros materiales

+ [[http://bit.ly/1qGjwMN][Haskell online study materials]].

+ [[https://github.com/HaskellChamber/Haskell-University][Haskell-University: Portfolio-based approach to learning Haskell]].

+ [[https://github.com/jagajaga/FP-Course-ITMO][Slides and other materials for functional programming lectures ITMO

  university]]. ~ [[https://github.com/ChShersh][D. Kovanikov]] y [[https://github.com/jagajaga][A. Seroka]].

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Awesome

https://github.com/jaalonso/cursos_de_pf_con_haskell

Awesome Lists containing this project

README