I am working as professor in computer science in the group Reliable Systems (formerly called PMA) at the Department of Computer Science, Faculty of Mathematics and Natural Science, University in Oslo.

2022

Worklist algorithms

12 minute read

A small amount of background information (best read in the context of the first sets)

Back to top ↑

2021

Back to top ↑

2020

Mono- vs. polymorphic let

10 minute read

In the lecture, we covered type inference for generic polymorphism in a typed calculus with higher-order functions, including recursive functions and let-bin...

Back to top ↑