| Functional Programming | In the 11th week of the course, in the Functional Programming strand, there will no lecture on Monday. On Tuesday, the prizes for the programming competition will be awarded, and then there will be a guest lecture from Philip Wadler on Propositions as Types.
Related article: https://cacm.acm.org/magazines/2015/12/194626-propositions-as-types/fulltext |
| Computation and Logic | For CL Week 11, on Thursday there will be a lecture To Infinity and Beyond! about infinities and some (very) big numbers. On Friday, there will (time permitting) two short mini-lectures, one on "regular expressions" in real programming, and one the promised explanation of mediaeval syllogism mnemonics. To avoid spoilers (and because these are not official course lectures), slides will not be posted in advance. If you require slides in advance, drop me a message, and I'll provide them. |
License
All rights reserved The University of Edinburgh