FIK3620 Types, Semantics, and Programming Languages 7.5 credits
Typer, semantik och programmeringsspråk
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.