Welcome to IN5630

We look much forward to seeing you on the course and teach you how we can implement programming language and gain deeper understanding by formalising them.

We will later this week post reading material and update the schedule for the course. Then we will also give more details about the assignments.