POPL 2019 (series) / BEAT 2019 (series) / BEAT 2019: Fourth Workshop on Behavioral Types /
Gradual Session Types in Imperative Style
Gradual typing, proposed by Siek and Taha, is one of the attempts to integrate static and dynamic typing in a single language. Igarashi et al. proposed gradual session types, which extend gradual typing to binary session types. The language they studied is an extension of functional session types in which channels must be handled linearly. In this work, we propose a gradually typed extension of imperative session types, in which a single channel name is used more than once for communication. In this talk proposal, we describe an overview of our calculus, focusing on the delta over the previous work.
Sun 13 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change
Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change
08:30 - 08:40 Day opening | Opening BEAT Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands | ||
08:40 - 09:30 Talk | Invited Talk: Gradual Session Types — an Ongoing Journey BEAT Peter ThiemannUniversity of Freiburg, Germany | ||
09:30 - 09:50 Talk | Gradual Session Types in Imperative Style BEAT | ||
09:50 - 10:10 Talk | Checking the Equivalence of Context-Free Session Types BEAT Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon File Attached | ||
10:10 - 10:30 Talk | Effpi: Concurrent Programming with Dependent Behavioural Types BEAT Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London File Attached |