Worklist algorithms
A small amount of background information (best read in the context of the first sets)
compilerconstruction
How to write a parser for the first time, e.g. for the oblig
or maybe also not the first time.
Regular expressions, context-free grammars, and recursion
Recursion on the tail or otherwise
Did Fortran kill a Mars Mission?
(White-)space exploration, FORTRAN, lexing, antiquity & fetishism
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?
How to implement regular expression matching
Or maybe how not to implement it?
functionalprogramming
How to prepare for an oral exam?
like for instance for the functional programming course.
(Not so) abstract syntax trees
Representation of expressions in the meta-circular evaluator
Y not code up $n!$ with no recursion and no Y tricks either?
A glance at Church numerals, inductive data types, and pattern matching
Y Y?
or why Y?
Processes and procedures
and functions too
Recursion, primitive or otherwise
A lesser known fact on Ackermann’s function, and the power of higher-order functions
programverification
Bitcoin, blockchain & formal methods, seriously now?
Formal methods as sales pitch