dp-home
Declarative programming (course in English)
Spring 2007
BMETKVIB422
dp-current
This page contains information about the course held in English.

General information

Midterm exam

Homework

Final exam

Lecture notes, slides, programming examples for downloading

  • Cekla: compiler for a declarative sublanguage of C (version 1.1):
  • Free (freely downloadable or on-line) books and other documentation on Prolog and SML

    Software (SML and Prolog interpreters, compilers) to download