Selected Topics in Programming Theory

Postgraduate course

Course description

Objectives and Content

The course deals with current topics in programming, and its content will vary from time to time

Topic for autumn 2023: Dependently-Type programming, Generic Programming & the  ¿Q Development paradigm

Learning Outcomes

After completing the course the student should be able to:

- Explain the main methods in the field, and use these.

- Do research in the field as part of an MSc or PhD degree.

Semester of Instruction

Required Previous Knowledge
At least 120 ECTS in computer science, preferably including some mathematics
Recommended Previous Knowledge

The seminar will be based on INF121 Programming paradigms / INF122 Functional programming


Forms of Assessment

Oral examination

Aids allowed will be announced on Mitt UiB in the beginning of each semester.

Grading Scale
The grading scale used is pass/ not passed.