Despite what your boss thinks, programs don't just appear straight out of specifications. But...what if they did? This month's topic is "Program Derivation for Functional Languages." Assistant Professor and Speaker Extraordinaire Felienne Hermans will show you how to do exactly that, albeit with some very specific specifications.