Simon Cooksey @graymalkin@types.pl

Website: https://graymalk.in

GitHub: https://github.com/graymalkin

Academic Webpage: https://www.kent.ac.uk/computing/people/3163/cooksey-simon

Research Fellow in Programming Languages at the University of Kent

Joined Nov 2022

30 Following 13 Followers

Toots Toots and replies Media

Jan 29, 2023, 14:22

Simon Cooksey @graymalkin@types.pl

Learning about Multiparty Session Types with some moral support.

b896b932ac8888ea.png

Dec 16, 2022, 11:07

Simon Cooksey @graymalkin@types.pl

Blep.

6ee05c85749360c8.jpeg

Website: https://graymalk.in

GitHub: https://github.com/graymalkin

Academic Webpage: https://www.kent.ac.uk/computing/people/3163/cooksey-simon

Research Fellow in Programming Languages at the University of Kent

Joined Nov 2022