Equational Programming 2018-2019


Equational Programming (course code 401011) is a course in the minor Deep Programming about the foundations of functional programming.
The theoretical part of the course is concerned with lambda calculus and equational specifications, and possibly also the basics of term rewriting.
The practical part consists of exercises in the functional programming language Haskell.

Prerequisites: the course Logic and Modelling.
Possible follow-up courses: Term Rewriting Systems (master course) and Logical Verification (master course).

Schedule and further information

The course is in 2018-2019 taught in period 2, that is, in weeks 44--50.
Further information concerning the course is available via canvas.


Mail f.van.raamsdonk @ vu.nl.
Last update November 2018.