Next meeting

[Chris Patuzzo]

Hi all,

Our next meeting will be on Chapter 16: Metatheory of Subtyping. It would be great if you could sign up here:

https://attending.io/events/london-computation-club-ch-16-metatheory-of-subtyping

This chapter sounds scary, but I've had a quick look and it seems ok. We might even try implementing something.

In the meantime, the previous meeting's write up is a bit lacking, if anyone's feeling brave:

https://github.com/computationclub/computationclub.github.io/wiki/Types-and-Programming-Languages-Chapter-15-Subtyping-%E2%80%93-Part-2

Thanks,

Chris

[Chris Patuzzo]

This is your friendly reminder that we'll be meeting tomorrow at the usual time and place.

You can register your attendance here: https://attending.io/events/london-computation-club-ch-16-metatheory-of-subtyping

See you tomorrow!