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

Gradual Session Types enable the connection of typed and untyped clients of a protocol. The type checker guarantees that the typed client follows the protocol, whereas dynamic checks, generated by gradual session type inference, guarantee that the untyped client follows the protocol, too. The journey begins with a coercion calculus that extends Gay and Vasconcelos functional session type language and considers a surface language and gradual type inference. It continues with the observation that the untyped language is not sufficiently untyped and offers a more economic calculus as a basis for a surface language that supports untyped programming in a satisfactory style.

Parts of this work are based on collaboration with Atsushi Igarashi, Vasco Vasconcelos, and Phil Wadler.

Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

08:30 - 10:30
Session 1BEAT at Sala VII
Chair(s): Philip WadlerUniversity of Edinburgh, UK
08:30
10m
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
50m
Talk
Invited Talk: Gradual Session Types — an Ongoing Journey
BEAT
Peter ThiemannUniversity of Freiburg, Germany
09:30
20m
Talk
Gradual Session Types in Imperative Style
BEAT
Kaede KobayashiKyoto University, Atsushi IgarashiKyoto University, Japan
09:50
20m
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
20m
Talk
Effpi: Concurrent Programming with Dependent Behavioural Types
BEAT
Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London
File Attached