POPL 2019 (series) / BEAT 2019 (series) / BEAT 2019: Fourth Workshop on Behavioral Types /
Checking the Equivalence of Context-Free Session Types
Context-free session types were proposed as an extension of session types able to capture the type-safe serialization of recursive datatypes. For the sake of a practical usage, namely in the definition of new programming languages, there is an urgent need for an algorithm to decide type equivalence. In this work, we propose an algorithm to decide type equivalence on context-free session types. Based on the construction we followed and on the tests we ran to validate the algorithm, we expect the algorithm to be sound and complete.
slides (MordidoVasconcelos_BEAT19.pdf) | 1.38MiB |
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 |