Post #940409

I gave a research lecture to students today at #TypeSig #Triple. #UoE The topic was that of my #TYPES2025 talk: Being Positively Negative About Dependent Types. Great range of speakers from organisers, even though it was @mspstrath heavy! One student came at the end to say they enjoyed the talk as it was accessible to them. I like that. Also nice to see the other talks in the tracks I attended. Especially those that are related! (Two sided type systems) The journey home even gave me space to think about research…