Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
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.