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.


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 ↑


Back to top ↑


Back to top ↑


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 ↑