TIES542 Principles of Programming Languages, Spring 2009

This course is lectured in Finnish. See the Finnish page for more information.

It is possible to take the course in English, by reading the following papers and either taking an exam or keeping a learning journal (all papers are accessible from the University network at the given locations, and there is a copy of the book in the University library – sorry, you may need to share it):

Emphasis should be placed on getting the big picture, and as much as practicable, the ability to read (and write) the formalisms described; working out the details of proofs is not necessary.

It is possible to take a book-based exam, but a learning journal is preferred over an exam.

A learning journal is a journal (think "Captain's Log") about your learning process. It shoud be written continuously as you work through the papers cited above, detailing what you learnt, what thouhgts it created in you, how it affects your perspective on programming languages etc. Summaries of the papers are not necessary, but you should endeavor to explore the material in the journal, by working out exercises, trying out your own examples (even if you can't make them come out right), coming up with alternative ways to state a difficult matter, and so forth. The learning journal is graded, emphasizing the amount and quality of independent thought by the writer related to the subject matter at hand.

There is no longer a seminar associated with this course.


Public learning journals:


2009-01-19 Antti-Juhani Kaijanaho <antti-juhani.kaijanaho@jyu.fi>

Valid XHTML 1.0!