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

2023

Worklist algorithms

12 minute read

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

Y Y?

17 minute read

or why Y?

Back to top ↑

2022

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 ↑