Winter Term 2024/25 Effective Programming with Effects (Praktikum) Functional Programming with Effects Implementierung von Programmiersprachen (Praktikum) Interactive Theorem Proving Programming Languages 2 Software Engineering
