This course is given in English. It’s a Master level course but (undergraduate) exchange students should have no trouble taking this course.

Evaluation

• Midterm (50%)
  • Written exam, closed book, about 60min
  • Covers Haskell + Lambda Calculus
• Project (50%), choose among one of the following options
  • Haskell Mastermind
  • Nicer pretty printer + better parser

Content

Programming languages are the most basic tool of programmers. This course covers the basics of the theory of programming languages, its applications to widely used languages today, and trends in the field that are likely to help define the programming languages of tomorrow.

After this course, students will have an understanding of a wide range of programming language concepts and will be able to quickly adapt to emerging new programming languages.

This semester the focus is as follows:

• Haskell

• Formal specifications via operational semantics rules

• Lambda calculus

• Rust

Topics with learning material

• Haskell

• From formal specifications to executable code

• Haskell to implement other languages

• Lambda calculus

• Rust

• Haskell versus Rust

Exercises:

• Haskell (“mastermind”)

• Haskell (“digits”)

Weekly schedule

Lecture

• Thursday from 11:30-13:00 in E305
• I’ll be running a zoom session as well for those that prefer to join online

Self study

• Thursday from 9:50-11:20 in E305

Here’s our weekly schedule.

• W1, 27.03-23.03
  • Intro
  • Haskell
• W2, 24.03-30.03
  • Haskell
• W3, 31.03-06.04
  • Haskell
• W4, 07.04-13.04
  • Haskell
  • Exercises
• W5, 14.04-20.04 (Friday public holiday)
  • Haskell
  • Exercises
• W6, 21.04-27.04 (Monday public holiday + Tuesday no lectures)
  • From formal specifications to executable code
  • Haskell to implement other languages
• W7, 28.04-04.05 (Thursday public holiday)
  • No lecture
• W8, 05.05-11.05
  • Haskell to implement other languages
• W9, 12.05-18.05
  • Haskell to implement other languages
• W10, 19.05-25.05
  • Rust
• W11, 26.05-01.06 (Thursday public holiday)
  • No lecture
• W12, 02.06-08.06
  • Midterm, written exam, closed book, 60min
• 09.06-15.06 (Midterm break)
• W13, 16.06-22.06 (Thursday public holiday)
  • No lecture
• W14, 23.06-29.06
  • Rust versus Haskell
• W15, 30.06-06.07
  • Final projects due