Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 09:50 - 10:10 at Sala VII - Session 1 Chair(s): Philip Wadler

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.

Sun 13 Jan

08:30 - 10:30: BEAT 2019 - Session 1 at Sala VII
Chair(s): Philip WadlerUniversity of Edinburgh, UK
beat-2019-papers08:30 - 08:40
Day opening
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers08:40 - 09:30
Peter ThiemannUniversity of Freiburg, Germany
beat-2019-papers09:30 - 09:50
Kaede KobayashiKyoto University, Atsushi IgarashiKyoto University, Japan
beat-2019-papers09:50 - 10:10
Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
File Attached
beat-2019-papers10:10 - 10:30
Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London
File Attached