compilerconstruction

Worklist algorithms

12 minute read

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

Back to top ↑

functionalprogramming

Y Y?

17 minute read

or why Y?

Back to top ↑

staticanalysis

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 ↑

programverification

Back to top ↑