like for instance the compiler construction course.
This is my homepage, resurrected step-by-step from the previous one in quite an overhaul. The university had decided to no longer tolerate self-designed webpages; they call them “private home pages”. I take that as opportunity to move on, and redesign my pages in the process, brush them up, and add also new stuff, gradually.
To do so, I am familiarizing myself with Jekyll (and connect it to emacs org mode). It involves some experimentation with different themes, different templates, configurations, etc.; there are a lot of moving parts…
That means: the pages here are under construction. Contentwise, not everything is in place yet (not all publications are accessible, not all master theses…) So the page is still in flux.
or maybe also not the first time.
A small amount of background information (best read in the context of the first sets)
Or maybe how not to implement it?
(White-)space exploration, FORTRAN, lexing, antiquity & fetischism
Fine points and corner cases for regular expressions and their relation with FSAs
In the lecture, we covered type inference for generic polymorphism in a typed calculus with higher-order functions, including recursive functions and let-bin...
Some remarks about variations on the theme
Some clarification (I hope)
Formal methods are sales pitch