INF328 - Elements of programming languages

INF328 - Programmeringsspråkelementer

Spring 2017

Contents on this web page

Course outline and curriculum:

The seminar is reactive, and the content will adapt to the wishes of the participating students.

The current suggestion is to investigate practical use of category theory for software development. The presentation will be self-sufficient. The student is recommended to consider taking INF223 Category Theory in parallel with this course.

INF328 is a 5 study point course available to Bachelor, Master and PhD students. Some programming background is needed. The course is small enough to be taken in addition to the regular study program, or it can be expanded with a selected reading to fill a regular slot in the studies.

The contents of the course is expected to change the next time it is provided.

Reading Material

There is no specific text book. The curriculum will consist of technical notes, possibly a few papers and discussions related to the material's content. Active student participation is expected, both in presenting sections of the papers and in the discussions.

The reading list will be provided as the course evolves.

Teachers

Lecturer and course responsible: Magne Haveraaen
Teaching assistant: none

Schedule for lectures and seminar groups

The course commences Tuesday 17 January 2017 (week 3). Teaching will be in the form of lectures, student presentations, discussion, exercises and time off for self studies.

Semester plan

The teaching plan will evolve as the course unfolds.
  1. Introduction
    Selection of topic

Exam

The course will probably be pass/fail based on sufficient activity during the semester. There may be an oral or a written exam if this is appropriate.
Latest update 2016-12-01 by Magne Haveraaen