ZuriHac 2023 and GHC Contributors' Workshop: Summary and Materials
Christine Gundry, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts, Sam Derbyshire, Zubin Duggal
Tuesday, 19 September 2023
Christine Gundry, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts, Sam Derbyshire, Zubin Duggal
Tuesday, 19 September 2023
Well-Typed at GHC Contributors' Workshop and ZuriHac 2023
Christine Gundry, Andres Löh, Adam Gundry
Friday, 02 June 2023
Christine Gundry, Andres Löh, Adam Gundry
Friday, 02 June 2023
Well-Typed Advanced Track at ZuriHac 2022
Andres Löh, Armando Santos, Adam Gundry
Wednesday, 01 June 2022
Andres Löh, Armando Santos, Adam Gundry
Wednesday, 01 June 2022
ZuriHac 2021 Advanced Track Materials
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021
Free training sessions at ZuriHac 2019
Christine Gundry, Adam Gundry, Duncan Coutts
Friday, 07 June 2019
Christine Gundry, Adam Gundry, Duncan Coutts
Friday, 07 June 2019