London Computation Club: Implementing The Simply Typed Lambda Calculus

location Geckoboard | 6:30 PM-8:30 PM Tuesday 23 May 2017 (GMT)

Join us for the seventh London Computation Club meeting about Benjamin C. Pierce’s book “Types and Programming Languages”.

Last time we read chapter 9 and met the simply-typed lambda calculus. In this meeting we’ll be looking at how to implement that language and and its typing rules. We’ll have the sample ML implementation given in Chapter 10 to guide us but we’ll be mob programming our own implementation.

There will also be some time to Show & Tell any other implementations done by club members.

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



3rd Floor,, 60 Worship St, London EC2A, UK

map Open in Google maps | Apple maps | Citymapper

Sign in to edit

Complete your event page