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 JanDisplayed time zone: Belfast change
Sun 13 Jan
Displayed time zone: Belfast change
08:30 - 10:30 | |||
08:30 10mDay opening | Opening BEAT António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. Pérez University of Groningen, The Netherlands | ||
08:40 50mTalk | Invited Talk: Gradual Session Types — an Ongoing Journey BEAT Peter Thiemann University of Freiburg, Germany | ||
09:30 20mTalk | Gradual Session Types in Imperative Style BEAT | ||
09:50 20mTalk | Checking the Equivalence of Context-Free Session Types BEAT Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon File Attached | ||
10:10 20mTalk | Effpi: Concurrent Programming with Dependent Behavioural Types BEAT Alceste Scalas Imperial College London, Elias Benussi Imperial College London, Nobuko Yoshida Imperial College London File Attached |