As announced last Friday, there is no lecture tomorrow, Tuesday 21 October. The next APL lecture is on Friday 24 October.
My apologies for the comparatively short notice of this. By way of compensation, I can announce two guest lectures in the coming weeks:
|Tuesday 28 October
Edwin Brady: Programming with Dependent Types
Edwin is the lead developer of Idris and, less usefully, the Whitespace language.
|Tuesday 11 November
Bob Atkey: Threadsafe: Static Analysis for Java Concurrency.
Threadsafe is the headline product from Contemplate, an Edinburgh startup working on tools for finding and fixing concurrency bugs.