In our last meeting we looked at Chapter 11, which describes a number of extensions to the simply typed lambda calculus, including the unit type, sequencing, sum types, type ascriptions, and lots more.
So lots more, in fact, that we didn't get through the whole chapter, so for our next meeting we plan to finish off the last few extensions from Chapter 11, followed by mobbing some of them together. Join us!
An event page by Simon Coffey
Made with love in London
We ask for your email address so that we and the attendees have a way of contacting you.