Algebra of Programming

  • Course id: MTAT.03.204
  • Credits: 3AP
  • Lectures: Every Monday at 14:15 (Liivi 2-612)
  • Questions: varmo at cs dot ut dot ee

Algebra of Programming is all about the algebra of programming. Well, algebra is the kind of category theoretical algebra stuff, like F-algebras and the like. Programming is the kind of functional programming stuff!

It's all very good and useful... except Allegories of Relations. Well, nobody uses them. So the goal here is to find out if the relational approach is a Good Thing or not.