London Computation Club: Types and Programming Languages #3

location Geckoboard | 6:30 PM-8:30 PM Wednesday 08 March 2017 (GMT)

Chapter 5 of Types and Programming Languages: The Untyped Lambda Calculus

Join us for our third London Computation Club meeting regarding our book for 2017, Benjamin C. Pierce’s “Types and Programming Languages”.

Following on from our previous meeting, we’ll focus on Chapter 5 of the book: The Untyped Lambda Calculus.

If you have any questions at all, please join us on Slack and 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