DAIMPL is a 3CP seminar. 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 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, 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
