Utrecht Summer School logo
Utrecht Summer School: July + August 2012
HU University of Applied Sciences Utrecht logo
Utrecht University logo

Applied Functional Programming in Haskell

Utrecht University
Faculty of Science (UU)
Course code: H9
Advanced bachelor level

Typed functional programming languages allow for the development of robust, concise programs in a short amount of time. The key advantages are higher-order functions as an abstraction mechanism, and an advanced type system for safety and reusability. This course introduces Haskell, a state-of-the-art functional programming language, together with some of its theoretical background, such as typed lambda calculi, referential transparency, Damas-Milner type inference, and functional design patterns.

We will quickly move on to 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, but to learn about the Haskell community and to get hands-on experience by developing a project using Haskell in a team.

Further information, like the day to day programme, can be found at this website where you will also find a poster which you can print yourself.

Video: Utrecht Summer Schools in Science

Bookmark and Share
LOCATION
COURSE DIRECTOR
Dr. A. Dijkstra
COURSE LEADER
Prof. Dr. J.T. Jeuring
TARGET GROUP
Advanced bachelors / beginning masters with an interest in writing disciplined, robust programs. Knowledge of functional programming or Haskell in particular may be helpful, but is not expected or necessary. 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.
PERIOD
19 August 2013 - 30 August 2013 (2 weeks)
CREDITS
3.0 ECTS credits + Certificate of Attendance
STUDY LOAD
The course takes two weeks, with 4 hours of lecturing per day. The other 4 hours are for working on practical exercises and larger programming projects.
FEE
• € 1835 - Course + course materials + housing
• € 1500 - Course + course materials

Students and lecturers from universities get a discount of 1000 euro on the course fee. This discount will be automatically processed in your account.

Applications should include:
- Motivation for your application (submit through your account)
- Curriculum vitae (submit through your account)
- Recent set of transcripts (marks/grades) in English, German, French or in Dutch for Dutch students (submit through your account)
- Two letters of recommendation, (to be sent directly to the contact person below)

You will be notified of the result of your application within two weeks after the application deadline.
DISCOUNTS AND COMBINATIONS
» Overview of all available discounts
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 finacial situation.
MORE INFORMATION
Dr. A. Dijkstra
E: atze@cs.uu.nl
P: +31 30 253 1454

» Contact Utrecht Summer School
REGISTRATION
Deadline for registration: 27 May 2013

COMMENTS