en

Summer School - Advanced Functional Programming, 26-30 August 2019, Utrecht University, Netherlands

Summer School - Advanced Functional Programming, 26-30 August 2019, Utrecht University, Netherlands

Utrecht University

Utrecht University

State University, Browse similar opportunities

OPPORTUNITY DETAILS

Total reward
0 $
State University
Area
Deadline
01 Aug 2019
Study level
Opportunity type
Opportunity funding
Full funding
Eligible Countries
Eligible Region

Advanced Functional Programming

Typed functional programming languages allow for the rapid development of robust programs. This course explores 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 as 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.

Course director

Dr. Wouter Swierstra

Costs

Course fee

€ 1500.00

Housing fee

€ 200.00

Housing through Utrecht Summer School

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

Scholarships

We actively try to keep the school accessible to underrepresented minorities. If you need further financial assistance to support your application, please contact the organizers directly.

Application

Please let us know if you would like to apply for the additional discount for students and lecturers associated with a university. To receive this discount, we ask you to provide some lightweight proof -- such as writing us from a university email address -- to prove your affiliation.

 

Other organizations


Choose your study destination


Choose the country you wish to travel to study for free, work or volunteer

Featured tags


free scholarships 2024 fully funded scholarships 2024 free scholarships 2025 scholarshpis 2024-2025 free scholarships for African students 2024-2025 fully funded scholarship 2024 min7a fully funded masters scholarships for developing countries 2024-2025 mina7