Semester page for IN5630 - Spring 2025
Dear all,
On the course we will have two Home Exams that will each give 25 % of the final assessment. (The rest is the oral exam.)
In addition to this we have two optional assignments (called Possibliks). A Possiblik will be overlapping, but not completely covering, the following Home Exam. You can therefore use the Possibliks to get first feedback before handing in the Home Exams. This is an offer and not a requirement to hand-in the Home Exams.
Deadlines:
Possiblik 1: Feburary 18 @ 23:59
Home Exam 1: March 11 @ 23:59
Possiblik 2: April 8 @ 23:59
Home Exam 2: May 14 @ 23:59
Feb. 3, 2025 2:25 PM
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.
Jan. 17, 2025 11:26 AM
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.
Jan. 13, 2025 8:53 PM
Assignments
Course material
Discourse forum