Functional Programming: Lisp


The course is an introduction to programming in Lisp and it will be based on the book: Programming in Common Lisp, R. A. Brooks, John Wiley 1985. The students will be expected to perform practical programming in Lisp. A lisp interpreter can be downloaded here.

This course is intended for students of mathematics or computer science who are interested on functional programming. Along with programming, we study how to formally specify programs behaviour. The last two lectures are dedicated to program verification.

There is no particular prerequisite for the course, however, the students are expected to have some basic knowledge of programming.


Summer Semester 2011.


Please register for the course via the KUSSS system.


Course Materials

Maintained by Nikolaj Popov