like for instance the compiler construction course.
This is, resp. will be my new homepage, resurrected step-by-step from the previous one in quite an overhaul. The university has 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 gradually familiarize 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 very much 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
Formal methods are sales pitch