Disciplines

Search

Highlighted

Data Science

With 22 courses, ranging from Bachelor to PhD level, we offer a uniquely broad data science curriculum.

International Courses

These tracks have international components and will take you to cities like Berlin, Florence, Rome, Milan, Tartu and Utrecht.

Online English Prep course

Improve your English whenever it suits you with this online language course, tailor-made for Utrecht Summer School Students.

Newsletter


Social

Advanced Functional Programming

Organizing institution
Utrecht University - Faculty of Science
Course code
H09
Course fee (excl. housing)
€ 1500.00
Level
Master

Typed functional programming languages allow for the rapid development of robust programs. This course explore some of the more advanced language features of Haskell, a state­ of­ the­ art functional programming language, together with some of its theoretical background. The course aims to teach not only some of the more recent Haskell features, such GADTs or type families, but also the underlying theory. Besides the lectures, there are numerous supervised lab sessions to help you come to grips with the material covered in class.

We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of online material freely available that covers this material.

From these basics, we aim to cover several more advanced topics, including monads, applicative functors, GADTs, (typed) lambda calculus, and generic programming. Each day we aim to cover a variety of topics in the lectures, mixing both practical programming advice and theoretical foundations. The supervised daily lab sessions offer students the opportunity to practice the material and discuss their problems with our Haskell experts.

If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you.



Download the day-to-day programme (PDF) Apply online now!
COURSE DIRECTOR
Dr. Wouter Swierstra
FEE
Course + course materials + lunch € 1500.00
Housing € 200.00, through Utrecht Summer School

We offer a 1000 euro discount for students and staff members of any university, provided they can provide a proof of their affiliation.

SCHOLARSHIPS
We actively try to keep the school accessible to under represented minorities. If you need further financial assistance to support your application, please contact the organisers directly.
MORE INFORMATION


w.s.swierstra {at} uu.nl

+31 30 2539207

REGISTRATION
Application deadline: 01 August 2018