London Computation Club: Types and Programming Languages Chapter 15 - Subtyping

August 22, 2017 — 6:30 - 8:30pm

3rd Floor, 60 Worship Street
London, United Kingdom

mudge @mudge

This meeting we’ll be looking at the first chapter of Part 3 of Types and Programming Languages by Benjamin C Pierce: Chapter 15, Subtyping.

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-14, are available via the wiki. You can get more information about the London Computation Club, including our code of conduct, via the website.

Join us 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 via the mailing list.

http://london.computation.club/

Recommend

mudge @mudge