London Computation Club: TAPL Ch 11 - Simple extensions to the typed lambda calculus

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!

If you have any questions at all, please join us on Slack and our mailing list, or contact us on Twitter.

Sign in to edit

Complete your event page