DomCode - March 2016
29 Mar 2016 at SURFnet

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.

Schedule

List Grid
All sessions Starred only
Title Title & Description

Tuesday 29th March 2016

19:30
4
Program Derivation for Functional Languages
Talk by Felienne Hermans (1 hour)

Program Derivation for Functional Languages