In this seminar, participants will be 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 central learning objectives include familiarizing students with the scientific publication process: conducting literature research, writing papers, going through a peer review process, using feedback to improve and present their work.
It is recommended that students complete the courses “Concepts of Programming Languages” in order to prepare for the seminar. Experience with or a keen interest in functional programming is necessary. Having done “Introduction to Scientific Work” is beneficial. Before registering for the course, you must apply for a topic. Participation is limited due to individual supervision. Check for information at the beginning of the first week of lectures so that you don't miss the application deadline.
- Dozent*in: David Richter