In this project, participants are assigned individual topics related to programming language research, including replicated data types, functional programming, dependent types, and more. Further information will be available on our website shortly before the start of the courses. The main learning objectives include helping students understand how to work on academic projects within the framework of a research-related programming project.
It is recommended that you have completed the course “Concepts of Programming Languages” in order to prepare for the project. Experience with or a keen interest in functional programming is also helpful. Before registering for the course, you must apply for a topic. Participation is limited due to individual supervision. Check the website at the beginning of the first week of lectures so you don't miss the application deadline.
- Dozent*in: David Richter