Activities per year
Activities
- 1 results
Search results
-
Using Dependent Types to Design and Implement an Imperative Language with Multiparty Session Types
de Muijnck-Hughes, J. (Speaker)
29 May 2024Activity: Talk or presentation types › Invited talk