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
• Project (50%), choose among one of the following options
  • Coming up

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 and type checking rules

• Comparison to other languages (Go, Java, …)

Topics with learning material

• Why programming still matters

• Haskell

• Haskell to implement other languages

• Haskell vs Go, Java

• Regular expressions

• Testing (coming up)

• Expressive types (coming up)

Exercises:

• Haskell (“mastermind”)

• Haskell (“digits”)

• How to generate exam questions

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

• W1, 16.03-22.03

  • Intro to Haskell

• W2, 23.03-29.03

  • Haskell

• W3, 30.03-05.04

  • Haskell versus Go

• W4, 06.03-12.04

  • Haskell versus Java

• W5, 13.04-19.04

  • Haskell

• W6, 20.04-26.04

  • TBA

• W7, 27.04-03.05

  • TBA
  • Freitag Vorlesungsfrei

• W8, 04.05-10.05

  • TBA

• W9, 11.05-17.05

  • No lecture

• W10, 18.05-24.05

  • Midterm

• Pfingstferien 25.05-31.05

• W11, 01.06-07.06

  • Projects

• W12, 08.06-14.06

  • Projects

• W13, 15.06-21.06

  • Projects

• W14, 22.06-28.06

  • Projects

• W15, 29.06-05.07

  • Projects due