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.
3rd Floor, 60 Worship St, London EC2A, UK
An event page by mudge
Made with love in London
We ask for your email address so that we and the attendees have a way of contacting you.