INF1A: Week 11
| Functional Programming | In the 11th week of the course, in the Functional Programming strand, there will be a guest lecture from Philip Wadler on Propositions as Types on Monday [change of plan!]. On Tuesday, the prizes for the programming competition will be awarded.
Related article: https://cacm.acm.org/magazines/2015/12/194626-propositions-as-types/fulltext |
| Computation and Logic | For CL Week 11, on Friday there will be a lecture To Infinity and Beyond! about infinities and some (very) big numbers. On Thursday, there will (time permitting) be 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. |