London Computation Club: Types and Programming Languages #2


location Geckoboard | 6:30 PM-8:30 PM Tuesday 21 February 2017 (BST)

Chapter 4 of Types & Programming Languages: An ML Implementation of Arithmetic Expressions

Join us for our second 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 implementing the language and its evaluation rules described in Chapter 3 using the sample ML implementation given in Chapter 4 with the aim of firming up our understanding.

We’ll then have time to Show & Tell any other implementations done by club members.

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

Location

Geckoboard

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

map Open in Google maps | Apple maps | Citymapper

Sign in to edit

Complete your event page

 
×
twitter
facebook
linkedin