Suchergebnisse: 2

Project: Implementation of Modern Programming Languages P-IMPL 25/26

IMPL is a 6CP project. Get familiar with cutting-edge programming concepts and programming language research from academic papers, with a focus on functional programming. In the project, each student will write a program according to a given topic, with regular meetings with a supervisor.

The topics of IMPL change every semester, in general the topics are about the design and implementation of abstractions, such as domain-specific programming languages or other concepts that facilitate programming, for example for distributed computing concepts, functional programming, or using dependent types to make programs error-free. You don't necessarily need to have much experience in functional programming yet (Scala, Haskell, Lean, Coq, Agda, ...), but you must be interested and eager to learn it, and some affinity for mathematically-structured, systematic thinking would be useful.

Prerequisite: You should have passed Concepts of Programming Language (COPL) lecture previously

Kursbereich: Wahlbereiche / Electives
Erste Veranstaltung: Freitag, 17. Oktober 2025, 13:30

Project: Implementation of Programming Languages P-IMPL 26

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.

Kursbereich: Wahlbereiche / Electives