Colin Perkins
Great talk on session types for modelling network protocols by my student @niktivan at the Cosener’s MSN workshop today – and overall a really nice workshop https://coseners.net/coseners-2023/
Coseners 2023 | Next Generation Networking, Multi-Service Networks workshop

Jul 14, 2023 at 9:40amIvory for iOS
Show threadJan de Muijnck-HughesJul 14, 2023
@csperkins @niktivan Yes we should chat (again) about this...
Show threadColin PerkinsJul 14, 2023
@jfdm @niktivan yes, absolutely! Email me, and we can find a time - early next week or August