Messages

Published Jan. 17, 2025 11:26 AM

Hi all,

On the course we will for the first half use the book:
  Programming in Haskell by Graham Hutton. 
  https://people.cs.nott.ac.uk/pszgmh/pih.html
This book gives a nice introduction to programming in Haskell (hence the title...)

In addition there will also be some notes in PDF or book chapters that will be shared with you directly.

Looking forward to see you all next week.

Published Jan. 13, 2025 8:53 PM

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.