This meeting we’re looking at chapter 16 of Types and Programming Languages by Benjamin C Pierce.
Chapter 16 looks at the Metatheory of Subtyping. This sounds scary but will hopefully have a practical side to it.
The meeting will be at 6:30pm at Geckoboard’s office on the 3rd floor of 60 Worship St, near Liverpool Street, Old Street, Moorgate and Shoreditch High Street stations.
The Geckoboard office is above HelloFresh’s: to get in, go around to the side entrance on Vandy St (hopefully there’ll be a sign directing you) and somebody on reception should be able to send you up to the 3rd floor in the lift (just mention Geckoboard).
If you have any trouble getting in, drop a message in #general on our Slack team and we’ll respond as soon as possible.
Write-ups of previous meetings, including TAPL chapters 3-15, are available via the wiki. You can get more information about the London Computation Club, including our code of conduct, via the website.
Join on slack where you can find discussion of this book on the #tapl channel and get questions about the club / meeting answered on the #general channel. You can also get in touch by the mailing-list.
3rd Floor,, 60 Worship St, London EC2A, UK
An event page by Chris Patuzzo
Made with love in London
We ask for your email address so that we and the attendees have a way of contacting you.