Post #2919946

I don't think I ever shared this here either... but you can totally check out the *~ final version ~* of my PhD thesis, "Graded Modal Types for Memory and Communication Safety", if you're interested! lots of really cool stuff in there in my humble opinion, although for anyone who has followed my publications over the last several years you have probably seen most of it before https://kar.kent.ac.uk/113723/ (by the way - types.pl gets a shout-out in my slightly ridiculous and overly earnest acknowledgements section :types_dot_pl:)