Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
Gruppwebben kommer tas bort under höstterminen 2026. Från och med den 10 november upphör möjligheten att skapa nya gruppwebbar.
Behöver du en ny samarbetsyta? Läs mer i denna nyhet och hitta alternativ.
In this course, you will learn the fundamentals of programming language theory, including formal semantics, type systems, and type soundness proofs. The course contains both theory and practice. During the course, you will also implement an interpreter for a typed functional language, as well as solving various theoretical exercises.
The course starts in December 2024 and ends in the spring 2025. During the course, there will be four compulsory seminar sessions. Please see the course PM in the menu to the left and the official course syllabus.