Very proud of for doing a fantastic talk at ESOP presenting our work (with ) on unique and linear types together link.springer.com/chapter/10.100
Conversation
Do you know if the talk will be made available later? I think this work is really interesting!
1
3
thank you!! I don’t think the talk was recorded unfortunately (someone please correct me if I’m wrong!) but I’m definitely planning to repeat this talk in the future - for example I will be giving a seminar talk on this at Glasgow on the 19th and maybe we can record that version!
2
8
Would love to see it! I'm sure others would too! 🙏