Talks
Fall 2016
Compositionality and Session Types
Monday, December 5th, 2016, 2:40 pm–3:15 pm
Event:
Location:
Calvin Lab Auditorium
I shall talk about a difficulty to extend session types to be compositional in several contexts: multiparty session types, communicating automata and Linear Logic. I also talk about several solutions -- some of them are motivated by practical applications of the session types.