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.


Back to top ↑


Y Y?

19 minute read

or why ~Y~?

Worklist algorithms

12 minute read

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

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 ↑