Types and Programming Languages - Ch 13
This meeting we’re looking at chapter 13 of Types and Programming Languages by Benjamin C Pierce. Please note this means we’re skipping chapter 12, which is a stand alone chapter.
Chapter 13 looks at adding mutable references to the simply typed lambda calculus that we’ve studied / built so far.
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-11, 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 Laura Thornhill
Made with love in London
We ask for your email address so that we and the attendees have a way of contacting you.