Bachelor-Seminar: Functional Pearls (WiSe 2025/26)

Instructor: Martin Desharnais-Schäfer

Content

Functional programming (as in, e.g., Haskell, OCaml, Standard ML) has many features which make it unique and useful in a variety of ways. When a specific use case is put together well and highlights these features, a scientific paper may be designated to be a “Pearl of functional programming”. For this seminar, you will choose one of these pearls as the topic for you seminar paper and talk.

Prerequisites

• It helps to be familiar with basics of functional programming (e.g., already have some experience with a functional programming language, passed ProMo).

Organisation

There will be between a mandatory session at the beginning of the semester, where the organization of the course will be presented in details, and each student’s topic will be fixed.

Topics can be chosen from among the papers designated to be a “Pearl of Functional Programming”; an incomplete list can be found here. Alternatively more functional pearls can be found in the proceedings of the International Conference on Functional Programming (ICFP):

• ICFP 2025
• ICFP 2024
• ICFP 2023
• ICFP 2022
• ICFP 2021
• ICFP 2020
• ICFP 2019
• ICFP 2018
• ICFP 2017
• ICFP 2016

After you had some time to familiarize yourself with the topic, there will be a mandatory session of short 90-second talks where you give a one-slide summary of your topic.

At the end of the semester, there will be one to three mandatory sessions for the seminar talks. In between there will be no scheduled meetings, but of course the instructor will be available for questions on your topics, either virtually via email and Zulip or in person.

Examination

The Examination consists of two parts:

• A written seminar paper on your chosen topic (60 % of the grade), the length of which must be between 7000 and 14000 characters.
• A talk (40 % of the grade) of 30 minutes plus 5–10 minutes discussion. The talk should cover some but possibly not all things written about in the seminar paper.

Submissions can be both in German and in English, the languages of the talk and the paper may even differ depending on your preference.

Schedule

To be announced: The first meeting should be as soon as possible, tentatively in the last two weeks of october. I will contact you about arranging a first slot and we will fix future dates there.