Using Dependent Types to Design and Implement an Imperative Language with Multiparty Session Types

Activity: Talk or presentation types › Invited talk

Description

Talk at the local Programming Languages Interest Group (PLinG) at the School of Informatics, University of Edinburgh
Period29 May 2024
Held atSchool of Informatics, Informatics Forum, University of Edinburgh, United Kingdom
Degree of RecognitionRegional