Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
Gruppwebben som samarbetsyta stängs 1 oktober 2026. Då upphör redigeringsmöjligheterna. Du som administratör kan redan nu välja att exportera gruppens innehåll och radera gruppen.
Mer information och instruktioner hittar du i nyheten: Gruppwebben som samarbetsyta stängs 1 oktober 2026.
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.