Many of us at Well-Typed enjoyed travelling to Zurich earlier this year for ZuriHac 2023 and the GHC Contributors’ Workshop. Thanks to the organisers of both these events, and to all those who attended for the great discussions.

The videos of our sessions as well as the materials used in them are available online, so those who could not attend can watch the talks by following the links below.

(read more)