Netherlands, Utrecht

Applied Functional Programming in Haskell

when 6 July 2015 - 17 July 2015
duration 2 weeks
credits 3 ECTS
fee EUR 1840

Typed functional programming in Haskell allows for the development of
compact programs in minimal time and with maximal guarantees about
robustness and correctness. The course introduces Haskell as well as its
theoretical underpinnings such as typed lambda calculus, and Damas-­Milner
type inference. There is ample opportunity to put this all in practice during
lab sessions.
We will combine this with applications of functional programming, concentrating on topics such as language processing, building graphical user interfaces, networking, databases, and programming for the web. The goal of the course is not just to teach the programming language and underlying theory, but also to learn about the Haskell community and to get hands-­on experience by doing lab exercises or a Haskell project of your own.

Course leader

Atze Dijkstra

Target group

Advanced bachelors / beginning masters with an interest in
writing disciplined, robust programs. Some basic knowledge of functional programming or Haskell in particular is advised (see e.g. haskell.org for online educational material).
Although we offer a track on Haskell for beginners, one will get the most out of the summerschool if one is already acquainted with Haskell beforehand. For the rest, all that is required is curiosity and an open mind. Applicants should be proficient in English and will be subjected to a selection procedure. This course is also well-­suited as an introduction to or preparation for our MSc program.

Maximum number of participants: 40.

Please indicate in your motivation what your current Haskell skills (none, starting, advanced, expert) are and what you expect to learn, so we can decide about the different lecturing tracks.

Course aim

Participants will be given the opportunity to learn a modern and new programming paradigm. The acquired knowledge will not only enable participants to lead or contribute to programming projects that make use of Haskell or related languages – it will also enable them to write better programs in any programming language, as the patterns and abstractions being taught are widely applicable.
In previous years the course has been a source of joy for lecturers and has been very well appreciated by students.

Credits info

3 ECTS
+ certificate of attendance

Fee info

EUR 1840: including housing
EUR 1700: Excluding housing

Scholarships

A limited number of scholarships are available. Indicate clearly in you motivation letter why you would need a scholarship, indicating your travel costs and financial situation.

Students who will participate in a Computing Sciences master program (see

Register for this course
on course website