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