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.
Turnus: Summer & Winter
Kind: Pr 06cp
In Tucan: 20-00-0306-pr Implementation of Programming Languages
Prerequisites: It is recommended that you have completed the course “Concepts of Programming Languages” in order to get to know some functional programming beforehand. Further experience or a keen interest in functional programming is also helpful.
Subpages
| title |
|---|
| IMPL 2026 Summer |