Design and Implementation of Programming Languages (DAIMPL)

Python, C, Java, … its getting boring! Get familiar with cutting-edge programming concepts and programming language research from academic papers, with a focus on functional programming. Novel research is always a bit weird, as the researchers usually focus on solving new problems, so don’t have time to properly explain it. Your job in this seminar is to fill that gap, try some novel programming language, or programming library, or programming abstraction out, write some code, and then write a “tutorial” paper and hold a presentation where you explain what you learnt to your fellow students.

The topics of DAIMPL 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 dependent types. You don’t necessarily need to have much experience in functional programming yet (Scala, Haskell, Lean, Rocq, 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: Se 03cp

In Tucan: 20-00-0182-se Design and Implementation of Modern 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