Full employment theorem for compiler writers
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.
2023
2022
Y Y?
or why ~Y~?
Recursion, primitive or otherwise
A lesser known fact on Ackermann’s function
How to prepare for an oral exam
like for instance the compiler construction course.
Type systems: the strong, the strict and the safe.
Or the weak, the loose, and the unsafe. But does it mean anything?
Worklist algorithms
A small amount of background information (best read in the context of the first sets)
How to write a parser for the first time, e.g. for the oblig
or maybe also not the first time.
How to implement implement regular expression matching
Or maybe how not to implement it?
Did Fortran kill a Mars Mission?
(White-)space exploration, FORTRAN, lexing, antiquity & fetischism
2021
Sound & (in-)complete proof system for first-order logics
Some clarification (I hope)
Bitcoin, blockchain & formal methods, seriously now?
Formal methods as sales pitch
2020
Mono- vs. polymorphic let
In the lecture, we covered type inference for generic polymorphism in a typed calculus with higher-order functions, including recursive functions and let-bin...
Type inference (Algos W and J …)
Some remarks about variations on the theme