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

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

beat-2019-papers
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
Talk
Peter ThiemannUniversity of Freiburg, Germany
beat-2019-papers09:30 - 09:50
Talk
Kaede KobayashiKyoto University, Atsushi IgarashiKyoto University, Japan
beat-2019-papers09:50 - 10:10
Talk
Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
File Attached
beat-2019-papers10:10 - 10:30
Talk
Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London
File Attached